home *** CD-ROM | disk | FTP | other *** search
/ Turbo Toolbox / Turbo_Toolbox.iso / 1989 / 02 / levelki / unify.doc < prev    next >
Encoding:
Text File  |  1988-04-03  |  178 b   |  13 lines
  1. Unify.lsp ist ein Unifikationsalgorithmus, der direkt mit
  2. Environments arbeitet.
  3. Bsp.:
  4.  
  5. Lisp> (unify '('+ 1 2) '(op x y) (the-env))
  6. t
  7. Lisp> x
  8. 1
  9. Lisp> y
  10. 2
  11. Lisp> op
  12. +
  13.