Collection of LISP programs for "Fundamentos de Sistemas Inteligentes (4º), USAL"

• To run unification algorithm, create a .lisp file and load unificacion.lisp file. For example example.lisp:

    ; create example.lisp and add this
    (load "unificacion.lisp")
    (write (unificacion E1 E2)) 

Now run example.lisp:

$ clisp example.lisp

• To run tests, just run:

$ clisp tests.lisp