Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 (Tek) 9/28/84 based on 9/17/84; site tektronix.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxt!houxm!vax135!cornell!uw-beaver!tektronix!michaelo
From: michaelo@tektronix.UUCP (Michael O'Hair)
Newsgroups: net.lang.prolog
Subject: Request for UNSW interp. help
Message-ID: <5413@tektronix.UUCP>
Date: Thu, 6-Jun-85 20:14:07 EDT
Article-I.D.: tektroni.5413
Posted: Thu Jun  6 20:14:07 1985
Date-Received: Sat, 8-Jun-85 02:50:51 EDT
Organization: Tektronix, Beaverton OR
Lines: 29

[ I don't believe in ... ]

Can anyone give help, or pointers thereto, for the following problem.

I am learning Prolog by reading Clocksin & Mellish  and using the UNSW
Prolog interpreter.  In trying out the examples in C & M, I have found
that the compound statements ( sister() is one ) are not working as
described.  I am also having trouble with the list functions.  At this
point, I can't even get append(L1,L2,L3) to work, i.e.,

		append([1,2],[3,4],X)?

should result in:

		X = [1,2,3,4]

right?  Wrong. I keep getting **no.

This is a very interesting language and I'd like it a lot more if I
had something that worked according to specs.  Does someone out there
have an incantation or something for this beastie?

			Michael O'Hair
			Tektronix, Inc.
			Beaverton, Oregon

			Phone: 627-6049
			M/S:   50-709
			email: tektronix!michaelo