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!

@jan I tried to answer this but found out that I can not. In checking found the menu Help -> Debugging which does not cover the use of more results as in the question. I started to check the source code, but not being familiar with the SWISH source code could not quickly understand it.

Using workaround by Ian. [image] This was created by Running the goal as noted by Ian by clicking [image] Clicking [image] until false is returned.

If you liked the answer then you should give Ian’s post a like by clicking on the heart. If you find the answer to be acceptable as the final solution to your problem then you should also click on the ... then Solution.

Tracing all solutions in SWISH

SWI-Prolog web site and services

Ian October 22, 2020, 10:22am 4

A hack would be:

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

Topic		Replies	Views
Trace doesn't work General	3	73	December 4, 2025
SWISH trace and stability issue resolved SWI-Prolog web site and services	0	118	May 28, 2024
Any programatic way to obtain rules used to prove a goal? Help!	18	1259	February 18, 2020
Could someone please explain how this code works Help! swish , how-to	3	597	December 14, 2022
Findall displaying only 9 resulting elements Help!	4	559	July 30, 2020

Tracing all solutions in SWISH

Related topics