|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
| UnifierCache | A unifier cache. |
| UnifierClient | An unifier that connects to a lisp server via TCP/IP |
| UnifierH | A unifier that runs lisp FUF/SURGE through command line. |
Different implementations of unifier engines. Currently a TCP/IP client unifier (expected to use a Lisp server) and a proxy caching unifier are provided.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||