Search found 1 match
- Mon Apr 25, 2011 6:16 am
- Forum: Common Lisp
- Topic: horn clause lisp
- Replies: 4
- Views: 7112
horn clause lisp
Hi Everybody, I'm new on this forum, i'm trying to develop a lisp application that return T if a clause is a horn clause http://en.wikipedia.org/wiki/Horn_clause (or conjunction of horn clauses) and nil if it isn't. I wont to clarify that in case of conjunction of horn clauses, the conjucntion could...