A Definite Clause Version of Categorial Grammar

35815

Knowledge Triples

Source Entity	Relationship	Target Entity
Horn Logic OtherEntity	isA	Theorem Proving Method
Intuitionistic Implication Method	extends	Horn Logic OtherEntity