🚀 go-pugleaf

In article <2948@munnari.oz.au> lee@munmurra.UUCP (Lee Naish) writes:
>10?- qsort(X, [1, 3, 2]).
>Warning: Goal floundered.
>X = X 
>
>It would be nice to run the goal backwards inside the debugging
>environment, which has a facility for testing goals using a fair search
>strategy.  Unfortunately it doesn't seem to work for this example

It seems I was using an out of date version of the debugging
environment.  It actually does work:

8?- test qsort(X, [1, 2, 3]).
Do static analysis? n
Test known valid instances? 
Test known satisfiable atoms? 
Test known unsatisfiable atoms? 
Generate solutions to goal? 
Solution found: qsort([3, 2, 1], [1, 2, 3]).
qsort([3, 2, 1], [1, 2, 3])     Valid? 
Solution found: qsort([3, 1, 2], [1, 2, 3]).
qsort([3, 1, 2], [1, 2, 3])     Valid? 
Solution found: qsort([2, 1, 3], [1, 2, 3]).
qsort([2, 1, 3], [1, 2, 3])     Valid? 
Solution found: qsort([2, 3, 1], [1, 2, 3]).
qsort([2, 3, 1], [1, 2, 3])     Valid? 
Solution found: qsort([1, 3, 2], [1, 2, 3]).
qsort([1, 3, 2], [1, 2, 3])     Valid? 
Solution found: qsort([1, 2, 3], [1, 2, 3]).
qsort([1, 2, 3], [1, 2, 3])     Valid? 

It gets into the (unavoidable) infinite loop after this.

	lee