Folder "edge"
t.b.d.
- File "railgun": The current state is that it provides
the basic CLP(FD) vocabulary as found in SWI-Prolog
library(clpfd). More...
- File "attrvars": Delayed goals with nothing else than
the ISO core standard Prolog and Alain Colmerauers rational
trees. More...
- File "silkworm": We provided a tabling directive, not
using anything more than the ISO core standard and its dynamic
predicates. More...
- File "kbrefs": The knowledge base is seen as a
sequenced collection of clause references that have also an
existence when not asserted. More...