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!