[net.lang.prolog] Request for UNSW interp. help

michaelo@tektronix.UUCP (Michael O'Hair) (06/07/85)

[ 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

greg@hwcs.UUCP (06/18/85)

We use UNSW Prolog on Z-LABs. Its appallingly buggy: when things go wrong
with our students programs its hard to tell if its them or the system.

Does anybody have an up to date bug/fix list? I've tried to contact UNSW
by e-mail but with no reply to date.