LispForum

@Jasper Sorry but I don't understand your function completely. What is the "about" that you are using. I don't use "and". And you are comparing only and, or & not. I need to compare the symbols also, in the process I get new elements that I need to append to the list and sear...

(defun process (kb) (let* ((sos (first (last KB))) (soslist (list sos)) (clauses (rest (reverse kb))) (pred1 (first (last (butlast kb)))) (notpos (- (position (second sos) pred1) 1))) (let ((pred nil)) (dolist (clause clauses) (when (or (search (list (second sos)) clause) (search (list (first sos))...

When writing dolist could we check 2 lists, if there is no match in the first list then it should go to the second list. And also in dolist could we append to the list that we are checking? (setq KB '((or a b) (or not c a) (or not b f) (or not d b) (or c d) (or not c e) (or not f g) (or not e f) (no...

@ nuntius Thank you for the reply. I have implemented what you told me but it is still just comparing only the next list in the list of lists to another list, and if its not there then i get an error i.e (setq KB '((or a b) (or not c a) (or not b f) (or not d b) (or c d) (or not c e) (or not f g) (o...

What I want to do is for each sos (could be 1 or 2 elements like (g) or (not g)) I want to check if "g" is in the clauses(reverse kb) list. If there is a match put it in the "pred" list and do one of the "and's" How do we write someth like "for each sos loop...&quo...

The problem is not with the "cond". The sos has an element that is not in the pred1 and so the error is coming. But this is not the functionality I want. What I want to do is for each sos (could be 1 or 2 elements like (g) or (not g)) I want to check if "g" is in the clauses(reve...

@nuntius

Thanks, ya I collapsed those do's. I'm completely new to LISP so I donno the alternatives.

@Jasper

my bad. I guessed it's not understandable.
I'm comparing if a list has a "not" so I used equal. I know its complicated but the error is at the point I tried to bold.
It is not executing the cond statement that is embedded inside those when and loop.

I have written a "cond" inside "when" which is inside "loop". But it doesn't get evaluated. I have also tried "if". They independently exe in the interpreter but when written inside the loop Error: In - of (NIL 1) arguments should be of type NUMBER. What am I ...

@nuntius Thank you for the reply. I have replaced if with when. And the mistake I was doing is that I was trying to see the value of the variable in the interpreter after the function got executed. The variable scope is local to the function so I was getting the error that the list sos is unbound. T...