home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Vectronix 2
/
VECTRONIX2.iso
/
FILES_01
/
X_PROLOG.LZH
/
X_PROLOG
/
VERSION.DOC
< prev
next >
Wrap
Text File
|
1990-08-13
|
690b
|
22 lines
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 ...)
- .....