I’m using: SWI-Prolog version 8.3.28
Are there some good examples of how to use the plsyn syntax in a Prolog program?
I have a bunch of code that looks like:
get_user_object(User,Object) :- classAssertion(userClass,User), classAssertion(objectType,Object), propertyAssertion('hasObject',User,Object).
How do I rewrite that predicate using plsyn to simplify it?
Thanks for any help!