home *** CD-ROM | disk | FTP | other *** search
- turn nil))
- ((memq (car la) lb) (return (car la)))
- (t (setq la (cdr la)) (go top)))))
-
- (defun mark-conflicts (rem all)
- (cond ((not (null rem))
- (mark-conflicts2 (car rem) all)
- (mark-conflicts (cdr rem) all))))
-
- (defun mark-conflicts2 (atm lst)
- (prog (l)
- (setq l lst)
- top (and (atom l) (return nil))
- (conflict atm (car l))
- (setq l (cdr l))
- (go top)))
-
- (defun conflict (a b)
- (prog (old)
- (setq old (get a 'conflicts))
- (and (not (eq a b))
- (not (memq b old))
- (putprop a (cons b old) 'conflicts))))
-
- (defun remove-duplicates (lst)
- (cond ((atom lst) nil)
- ((memq (car lst) (cdr lst)) (remove-duplicates (cdr lst)))
- (t (cons (car lst) (remove-duplicates (cdr lst))))))
-
- (defun literal-binding-of (name) (get name 'ops-bind))
-
- (defun store-binding (name lit)
- (putprop name lit 'ops-bind)
- (add-bucket nam