I'm using the PD-version of Prolog-2. Unfortunately it comes without any
description of the built-in predicates, so if anybody has an idea how I can
find one I'd be very grateful. Also, after starting the trace mode a window
is opened (it takes a lot of place on the screen) which I cannot remove anymore
after quiting the trace mode. Any idea how to remove it?
Thanks in advance.

Andre

???????????????????????????????????????????????????????????????????????????????
Andre Bergholz

God is Dead
                -- Nietzsche
Nietzsche is Dead
                -- God
Nietzsche is God
                -- The Dead
???????????????????????????????????????????????????????????????????????????????

This is not Colmerauer's Prolog II language; don't let that throw you.

It's a quite standard implementation of Edinburgh Prolog and the built-
in predicates are the same as those described in major textbooks
(Clocksin & Mellish; Bratko; Covington, Nute & Vellino).

It is an exact match to the Prolog textbook by Tony Dodd, published by
Oxford University Press.  (I forget the title at the moment.)

The opening screen of Prolog-2 refers you to a 2-volume book
published by Ablex that documents the whole thing in detail.
--

:-  Artificial Intelligence Programs       phone 706 542-0358 :  *********
:-  The University of Georgia                fax 706 542-0349 :   *  *  *
:-  Athens, Georgia 30602-7415 U.S.A.     amateur radio N4TMI :  ** *** **