[Date Prev] [Date Next] [Thread Prev] [Thread Next] Date Index Thread Index Search archive:
Date:Mon Nov 12 14:05:54 1995 
Subject:What predicates should a teaching prolog have? 
From:Aaron Sloman 
Volume-ID:951113.01 

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