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
Trace doesn't work General	3	38	December 4, 2025
SWISH trace and stability issue resolved SWI-Prolog web site and services	0	110	May 28, 2024
Any programatic way to obtain rules used to prove a goal? Help!	18	1198	February 18, 2020
Could someone please explain how this code works Help! swish , how-to	3	580	December 14, 2022
Findall displaying only 9 resulting elements Help!	4	538	July 30, 2020