Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!icdoc!qmw-cs!mmh
From: mmh@cs.qmw.ac.uk (Matthew Huntbach)
Newsgroups: comp.lang.prolog
Subject: Re: Legitimate uses of "assert"?
Message-ID: <1730@sequent.cs.qmw.ac.uk>
Date: 2 Mar 90 10:27:05 GMT
References: <8205@pt.cs.cmu.edu> <1708@sequent.cs.qmw.ac.uk> <112803@ti-csl.csc.ti.com>
Reply-To: mmh@cs.qmc.ac.uk (Matthew Huntbach)
Organization: Computer Science Dept, Queen Mary and Westfield College, U of London, UK.
Lines: 12
Summary:
Expires:
Sender:
Followup-To:
Distribution:
Keywords:

In article <112803@ti-csl.csc.ti.com> brahme@vlsic2.ti.com (Dan Brahme) writes:
>mmh@cs.qmw.ac.uk (Matthew Huntbach) writes:
>I think you can avoid the use of assert in the
>situation you mentioned. There are ; and -> clauses
>introduced in several prologs (quintus has them definitely),
>which precisely serve this purpose.

I agree. However, I am not sure ; and -> are very nice
either. You can always program them out altogether.

Personally, I prefer to program out backtracking as well though
...