...Prolog
Quintus is a trademark of Quintus Computer Systems Inc., USA
...Prolog
BIM is a trademark of BIM sa/nv., Belgium
...`'
Windows: `_plrc' as files cannot be named `.plrc'.
...defined.
One could choose words, defining words as a sequence of alpha-numeric characters and the word separators as anything else, but one could also choose Prolog arguments
...off.
This implies the system can run out of local stack in debug mode, while no problems arise when running in non-debug mode.
...please/3
The idea comes from BIM_Prolog. The options supported by this predicate are not compatible with those for BIM_Prolog however.
...implementation
This implementation is based on GNU's unexec() function, creating a new executable from the running process. It is selected using the O_STORE_PROGRAM option in the machine-description file.
...implementation
This implementation is selected by the O_SAVE option in the machine-description file.
...used.
These are NOT the defaults compiled into an intermediate code file created with pl -c ...
...256.
I plan to raise all these limits to 65536, the maximum addressable range by the 16 bits virtual machine codes.
...output'.
These marks do NOT suggest instanstiation (e.g. var(+Var)).
...purposes.
It does work for consult, but makes it impossible to compile programs into a stand alone executable (see section gif)
...follows:
In fact the variables are compared on their (dereferenced) addresses. Variables living on the global stack are always < than variables on the local stack. Programs should not rely on the order in which variables are sorted.
...removed.
Note that the definition has changed since version 2.0.6. See release notes.
...New.
Note that Edinburgh Prolog defines fileerrors/0 and nofileerrors/0. As this does not allow you to switch back to the old mode I think this definition is better.
...faults
In version 1.2 instantiation faults led to error messages. The new version can be used to do type testing without the need to catch illegal instantiations first.
...solutions.
The instantion pattern (-, +, ?) is an extension to `standard' Prolog.
...Sub.
Future versions probably will provide a more logical variant of this predicate.
...file.
A similar facility was added to Edinburgh C-Prolog by Wouter Jansweijer.
...used
show_profile/1 is defined in Prolog and takes a considerable amount of memory.
...protocol.
This interface is contributed by Don Dwiggins.
...meta_predicate/1)
Although this would make it impossible to call B directly.
...retract/1
The system version uses recordz/2 and recorded/3.
...is:
details depend on your operating system.
...enlarged.
When using virtual memory based stacks the system can always enlarge the stacks as it needs not to shift them.
...possible
Especially on the SUN SPARC cpu this is critical for good Prolog/C/Prolog calling performance
...constraint.
Linux with the old a.out format does not
...files.
If you use GNU-Emacs, make sure require-final-newline is set to nil

Passani Luca
Tue Nov 14 08:58:33 MET 1995