home *** CD-ROM | disk | FTP | other *** search
-
-
-
-
- This is version 2.0 of X PROLOG
-
-
-
- The former version was buried after some severe design mistakes were detected.
-
- But : THIS VERSION IS MERELY A PRELIMINARY VERSION
-
-
-
- The following features are yet to be implemented :
-
-
-
- - resizeable stacks
-
- - automatic stack reorganization
-
- - garbage collection (for functors and the copystack)
-
- - TOS interface
-
- - GEM predicates (any ideas ???)
-
- - special meta-logical predicates such as
-
- ancestor cut
-
- freeze and unfreeze of terms
-
- debugging hooks (for a meta-level debugger)
-
- - a good debugger (currently only a simple trace is supplied)
-
- - grammar rule translator (cprolog's DCG translator would do, but ...)
-
- - .....
-
-