sjkillen
/
aft-may25-2023
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
aft-may25-2023/knowledge_bases/sr1.hmknf

9 lines
103 B
Plaintext
Raw Permalink Blame History

# Interleaved positive inferences with ontology and program
(a -> b) & (d -> e).
a.
c :- b.
d :- c.
Reference in New Issue View Git Blame Copy Permalink