I have the following little swi-prolog program, let’s call it test.pl to illustrate my problem with the guitracer: test1(D, B) :- D = i(_, _), B = "imp", write("test1"). test2(i(_, _), "imp") :- write("test2"). If I start (based on this program) the tracer on swi-prolog with commands: …

[image] Losbarthos: Is there a fix for Ubuntu users too? Yes, install the PPA from the development series SWI Prolog devel : “SWI Prolog” team

Guitracer with unification of variables in predicate

jan May 30, 2022, 8:31am 4

Yes, install the PPA from the development series SWI Prolog devel : “SWI Prolog” team

Topic		Replies	Views
Show attempted unifications of every predicate clause in the graphical debugger? Help!	6	917	July 16, 2019
Inline subterm naming syntax (was: Syntax for unify-and-remember in head?) Request For Comments	40	1581	October 14, 2021
Single Sided Unification rules manual entry -- I am reading it but don't graps it ...why? Help! ssu	7	750	March 25, 2021
Graphic debugger switching to different view spontaneously? Help!	3	977	June 28, 2019
Ann: SWI-Prolog 8.3.21 Releases	3	623	April 1, 2021