Experimental
TypeGuard to verify whether a given object is a logic program
The item to be interrogated
TypeGuard to verify whether a given object is a logic program