marcel@uiucdcs.UUCP (09/30/83)
#N:uiucdcs:29700002:000:927
uiucdcs!marcel Sep 29 10:39:00 1983
The following is intended for Fernando Pereira. The only reason it
is on this net is because I couldn't work out how to mail it to him
directly. Sorry, Fernando.
Here are a couple more potential CProlog bugs. If at all possible,
could you perhaps mail me a fix for the second one, as I would like
to use recordz in a course I'm teaching this semester?
Also, is there yet a debugged version (after 1.0) of CProlog?
* The "instance" functor is documented as being able
to work if the first argument (the Reference) is unbound.
Have not found this to be so. Also, have not been able
to find out what is meant by "matching with a most
general instance of the recorded term" ?
* $recordz actually records at start of local database
(same as $recorda), not at end.
from: Marcel Schoppers,
Dept. of Computer Science,
University of Illinois at Urbana-Champaign.
ph (217) 333-0643 office hours.