Tracing all solutions in SWISH

SWI-Prolog web site and services
1

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!

1 Like
3

@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.

4

A hack would be:

?- trace, mother(a,X), fail.
1 Like
6

Using workaround by Ian.

image

This was created by

  1. Running the goal as noted by Ian by clicking image
  2. Clicking image until false is returned.
7

Ok, thanks!

8

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.