a (probably off topic) question about inference
check.py
cwm and redland
Cwm formula identity
lists and the N3 abstract syntax
log:outputString ordering challenge
making derivations from given rules
struggling to understand the cwm/N3/reasons proof checking algorithm
toward "can't be in two places at once" proof with cwm
toward cwm/N3/reason proof of httpRange-14 argument
Using reason.n3 (or derivative) to represent a RETE network
Last message date: Monday, 25 September 2006 22:52:45 UTC