Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!oitnews.harvard.edu!yale!yale.edu!spool.mu.edu!torn!nott!cunews!bertrand!ceh
From: ceh@medusa.sce.carleton.ca (Curtis Hrischuk)
Subject: want Prolog goal that implements 'C' assert 
X-Nntp-Posting-Host: medusa.sce.carleton.ca
Message-ID: <CEH.95Nov13121716@medusa.sce.carleton.ca>
Sender: news@cunews.carleton.ca (News Administrator)
Organization: Carleton Univeristy, Systems & Computer Eng. Dept.
Date: Mon, 13 Nov 1995 17:17:16 GMT
Lines: 17

Hi.  I am about to start Prolog programming.  One of the handy things
I have in my C toolbox is a macro called "assert(X)" which prints out
the file and line number that the function occurs on, if the boolean
function X is false.  Is there an equivelant goal in Prolog?  If not,
how is one constructed?

Thanks

Curtis
--
-------------------------------------------------------------------------------
| Curtis Hrischuk             | Boundaries of Science:                        |
| ceh@sce.carleton.ca         | 1) How did I get here?                        |
| Carleton University         | 2) Why am I here?                             |
| Ottawa, On. ,Canada, K1S-5B6| 3) What happens when I leave?                 |
| Ph  (613) 788-2600 x1762    | "The proof is almost identical to the previous|
| FAX (613) 788-5727          | proof and hence omitted here."(actual quote)  |
