;;;;1
(defun alle-kleiner (l1 l2) (
                             every #'< l1 l2))


;;;;2
(defparameter *listePos* nil)
(defparameter *listeNeg* nil)

(defun add-neg (wort)
  (setq *listeneg* (cons wort *listeneg*))
  )

(defun add-pos (wort)
  (setq *listepos* (cons wort *listepos*)))

(defun einordnen (sym) (cond ((listp sym) (add-neg (second sym))) (T (add-pos sym))))


(defun isAnyIn (l1 l2) (cond ((null l1) nil)
                                       ((member (first l1) l2) T)
                                       (T (isAnyIn (cdr l1) l2))
                                       ))


(defun klausel-ist-tautologie (klausel) (and (mapcar #'einordnen klausel)
                                             (isAnyIn *listepos* *listeneg*))
  )


;;;;3

(defvar *wort-nr* 0)
(setq *wort-nr* 0)
(defun stringliste-binde (stringliste)
    (labels ((f (sl ausgabe)
              (if (not (null sl))
                  (let (wort)
                    (setq wort (read-from-string (concatenate 'string "wort-" (prin1-to-string (setq *wort-nr* (1+ *wort-nr*))))))
                    (setf (symbol-plist wort) nil)
                    (setf (get wort 'nummer) *wort-nr*)
                    (setf (get wort 'wort) (read-from-string (pop sl)))
                    (f sl (cons wort ausgabe))
                    )
                  (reverse ausgabe)
                  ))
             )
               (f stringliste ())
      )
  )

;;
(setq ergebnisse (stringliste-binde '("a" "b" "c")))
(get (first ergebnisse) 'wort)
;;;;4
;;missing code :(