Re: Legitimate uses of "assert"?

Article View: comp.lang.prolog

Article #4244

#4244

From: Matthew Huntbach
Date: Fri, 02 Mar 1990 10:27

12 lines
1028 bytes

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
...

Technical Details

Message-ID: <1730@sequent.cs.qmw.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!icdoc!qmw-cs!mmh

References: <8205@pt.cs.cmu.edu> <1708@sequent.cs.qmw.ac.uk> <112803@ti-csl.csc.ti.com>

Show Full Headers

Complete Article Headers

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

Reply to Parent Message