Path: utzoo!attcan!uunet!lll-winken!lll-tis!ames!pasteur!ucbvax!decwrl!purdue!i.cc.purdue.edu!j.cc.purdue.edu!pur-ee!uiucdcs!uiucdcsm!roch
From: roch@uiucdcsm.cs.uiuc.edu
Newsgroups: comp.sys.amiga
Subject: Re: VTProlog problem
Message-ID: <7200039@uiucdcsm>
Date: 19 May 88 03:00:00 GMT
References: <2538@utah-gr.UUCP>
Lines: 24
Nf-ID: #R:utah-gr.UUCP:2538:uiucdcsm:7200039:000:897
Nf-From: uiucdcsm.cs.uiuc.edu!roch    May 18 22:00:00 1988


/* Written 11:53 pm  May 16, 1988 by u-jleigh%sundial@utah-gr.UUCP in uiucdcsm:comp.sys.amiga */
/* ---------- "VTProlog problem" ---------- */
The note said that VTProlog was a tiny prolog but this is ridiculous:
I wrote a two rule member function as follows:

member(A,[A|B]).
member(A,[B,C]):- member(A,C).
	   ^---- bug, see below
Result:-   BOOOOOM!!! Software Error, GURU, Lock up......
Thanks in advance,
Jason Leigh  (replies to u-jleigh@ug.utah.edu)
/* End of text from uiucdcsm:comp.sys.amiga */

Jason,
	While I don't know why VTProlog would crash,
your program is bugged.  Try:
	% member(Element, List) - succeeds if Element is in List.
	member(X, [X|Xs]).
	member(X, [_|Xs]) :- member(X,Xs).

If you have over a megabyte, I suggest that you try
using Stony Brook Prolog version 2.2.  Scott Evernden
and I ported it a while back, and it is available
by anonymous FTP on a.cs.uiuc.edu.