I am not able to trace all the solutions to a query in Swish: With the program mother(a,a1). mother(a,a2). and the query ?- trace, mother(a,X). I just get Call:mother(a, _3594) Exit:mother(a, a1) How could I trace the second solution? Thanks a lot in advance!

Tracing all solutions in SWISH

Ian October 22, 2020, 10:22am 4

A hack would be:

?- trace, mother(a,X), fail.

1 Like

Topic		Replies	Views
SWISH trace and stability issue resolved SWI-Prolog web site and services	0	98	May 28, 2024
Help with append/3 infinite loop with explicit arguments Help!	17	108	September 2, 2024
Stop trace at query fail point? Help!	2	710	May 29, 2019
Tracing and trace/2 General	2	541	October 11, 2019
Stacktrace after hitting t S u while browsing through query solutions General bug	3	338	November 13, 2023