I have been wondering whether there is much agreement on what sorts
of predicates should be automatically available in a prolog system
used for teaching. I'd like to include them in a Poplog prolog saved
image.
E.g. Poplog prolog does not include append and member by default, though
there is a library
library(useful)
which provides them, along with a few other things.
But what else should be there by default? The stuff in library(record)?
record(Key, Term, Ref)
recorda(Key, Term, Ref)
recordz(Key, Term, Ref)
recorded(Key, Term, Ref)
etc.?
Poplog prolog has a library for Dec-10 compatibility, providing record
and other things;
library(dec10).
and one for changing the syntax to be closer to Edinburgh syntax
library(edinsynt)
Should these be included by default in the saved image used for
teaching?
Are there people who have been using Poplog prolog for teaching who
could comment?
Thanks.
Aaron
--
Aaron Sloman, ( http://www.cs.bham.ac.uk/~axs )
School of Computer Science, The University of Birmingham, B15 2TT, England
EMAIL A.Sloman@cs.bham.ac.uk
Phone: +44-121-414-4775 (Sec 3711) Fax: +44-121-414-4281
|