References to, includes from, and redirects to Playing predicate logic

Date Name Who What
2010-10-18 14:25:10 A little backtracking Prolog interpreter nem reference
2018-02-01 17:57:39 artificial intelligence SEH reference
2011-07-06 00:59:13 Control structures for backtracking search RLE reference
2015-01-25 19:38:29 forall RLE reference
2011-07-01 03:32:49 logical reasoning in tcl RLE reference
2012-03-08 14:37:29 Playing Prolog dkf reference
2014-05-31 14:45:29 predicate logic pooryorick reference
2018-02-09 20:38:17 Prolog SEH reference
2015-05-04 10:04:23 Solving cryptarithms HJG reference