Path: utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!quintus!ok
From: ok@quintus.UUCP (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Re: :- deterministic (HP Prolog)
Message-ID: <901@cresswell.quintus.UUCP>
Date: 25 Apr 88 23:43:38 GMT
References: <900@cresswell.quintus.UUCP>
Organization: Quintus Computer Systems, Mountain View, CA
Lines: 7
Summary: (whoops, there's a _little_ more in the manual)

The HP Prolog manual says a little bit more about :-deterministic:
    "	HP Prolog features a mechanism called declarative determinism.
	By declaring a predicate which is known to only succeed once
	determinstic, efficiency can be gained in interpreted and
	compiled code.  This is preferable to cluttering a predicate
	definition with cuts.  "
which is tantalising, but not explicit.