...Torgersson

This work was carried out as part of the work in ESPRIT working group GENTZEN and was funded by The Swedish Board for Industrial and Technical Development (NUTEK).

...goal

Since Curry implements depth-first search with backtracking completeness may be lost anyway.

...instantiated

Actually, in citecurry it is demanded that the argument must not headed by a defined function symbol, be a logical variable or an application of an unknown function to some arguments

...GCLA

To be pronounced ``Gisela''

Olof Torgersson
Tue Mar 19 11:03:41 MET 1996