Puzzle Utilities: Revision history

5 April 2020

• curprev 14:3614:36, 5 April 2020‎ John talk contribs‎ 4,575 bytes −3‎ →‎unique_solution( +Goal )

21 July 2019

• curprev 16:0516:05, 21 July 2019‎ John talk contribs‎ 4,578 bytes −4‎ →‎unique_solution( +Goal )

13 January 2018

• curprev 17:5617:56, 13 January 2018‎ John talk contribs‎ m 4,582 bytes −3‎ →‎get_chars( ?Chars )

13 October 2017

• curprev 14:3514:35, 13 October 2017‎ John talk contribs‎ 4,585 bytes +550‎ Portability: Adding append/3 and length/2 which are not built into XSB.

5 January 2017

• curprev 19:1319:13, 5 January 2017‎ John talk contribs‎ 4,035 bytes −230‎ Remove broken syntax highlighting

19 October 2013

• curprev 15:4415:44, 19 October 2013‎ John talk contribs‎ 4,265 bytes +4,265‎ Created page with "The following predicates are used in the puzzle solutions. ==Higher-order Predicates== ====unique_solution( +Goal )==== holds when <var>Goal</var> has one ground solution. ..."