Xref: utzoo comp.binaries.ibm.pc.d:2721 comp.sys.ibm.pc:27662 Path: utzoo!dptcdc!jarvis.csri.toronto.edu!mailrus!csd4.milw.wisc.edu!srcsip!ella!hadden From: hadden@ella.SRC.Honeywell.COM (George D. Hadden) Newsgroups: comp.binaries.ibm.pc.d,comp.sys.ibm.pc Subject: Re: Computer Algebra in Prolog uploaded to Simtel20 Message-ID: <20609@srcsip.UUCP> Date: 18 Apr 89 14:41:54 GMT References: Sender: news@src.honeywell.COM Lines: 29 In-reply-to: SVAGHI@ESTEC.BITNET's message of 18 Apr 89 08:35:03 GMT a piece of information: the prolog on simtel (version 1.90n) is broken. here is one manifestation: if you define append as follows: append([],L,L). append([X|L1],L2,[X|L3]) :- append(L1,L2,L3). and then type ?- append(X,Y,[a,b]). you will get X=[], Y=[a,b] X=[a], Y=[b] X=[a,b], Y=L_12 obviously, the last should be Y=[]. i've called a.d.a. about it and they say that the newer version doesn't have this problem. i'm not sure what the mechanism is to get this stuff onto simtel, but it would be awfully nice if someone could arrange for it. -geo --- George D. Hadden, Honeywell Systems and Research Center PHONE: (612)782-7769 MAIL: 3660 Technology Drive MN65-2100, Minneapolis, MN 55418 ARPA: hadden@src.honeywell.com UUCP: {umn-cs, ems, bthpyd}!srcsip!hadden