I’m using: SWI-Prolog version 7.6.4
I wrote a Prolog meta interpreter some years ago, taht worked well in GNU Prolog. However, I can’t make gprolog work on Linux anymore, it seems tehre is no support to it. That’s a pity.
Now I am porting it to SWI Prolog and it works well, except for a circularity issue.
When I call the meta-interpreter to execute itself, I get a fail. I traced it and what I got is:
^ Call: (13) predicate_property((\==)/2, built_in) ? creep ^ Fail: (13) predicate_property(user:(\==)/2, built_in) ?
How can I circumvent this, please?