Search found 2 matches
- Wed Jan 14, 2009 12:34 pm
- Forum: Common Lisp
- Topic: Implication problem
- Replies: 3
- Views: 6359
Re: Implication problem
Yes, homework indeed. I'm in college, studying computer science, so someone was bound to teach us Lisp too at some point :). Anyway, I actually turned it in earlier today and it turned out ok. I used two functions that called each other, one to prove a rule, the other to "prove" (not the b...
- Wed Jan 14, 2009 1:42 am
- Forum: Common Lisp
- Topic: Implication problem
- Replies: 3
- Views: 6359
Implication problem
Hi, there! I'm having some problems with a program I have to implement using Lisp, and I was wondering if anyone could give me a few pointers or maybe a bit of code. The task is this - I have to write a function that receives a list of rules (each rule being stated as '(a b then c), meaning "if...