Search found 2 matches

by Mojave
Wed Jan 14, 2009 12:34 pm
Forum: Common Lisp
Topic: Implication problem
Replies: 3
Views: 5837

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...
by Mojave
Wed Jan 14, 2009 1:42 am
Forum: Common Lisp
Topic: Implication problem
Replies: 3
Views: 5837

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...