Re: :- deterministic (HP Prolog)

Article View: comp.lang.prolog

Article #3279

#3279

From: Richard A. O'Keefe
Date: Mon, 25 Apr 1988 23:43

7 lines
814 bytes

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.

Technical Details

Message-ID: <901@cresswell.quintus.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!mnetor!uunet!seismo!sundc!pitstop!sun!quintus!ok

References: <900@cresswell.quintus.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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)

Reply to Parent Message