Simon Forman 230288c02c Replace ? with plain ol' def/2. ... As much fun as it was using ? as an operator, now that all the defs live in a text file you don't see it in the Prolog code anymore. This way I get to use sweet sweet ASCII (except for the ? symbol in the copyright notice.)		2019-07-20 17:32:03 -07:00
..
compiler.pl	Some docs, and a thing to print out the dictionary after compilation.	2019-05-03 15:21:06 -07:00
defs.txt	Add bool function to mimic Python semantics.	2019-07-16 08:41:28 -07:00
metalogical.pl	See https://www.metalevel.at/acomip/	2019-05-06 12:47:30 -07:00
thun.pl	Replace ? with plain ol' def/2.	2019-07-20 17:32:03 -07:00