Article View: comp.lang.prolog
Article #4367Re: Yap - insertion mode
From: Per Røn ne
Date: Thu, 04 Mar 2004 02:16
Date: Thu, 04 Mar 2004 02:16
51 lines
2704 bytes
2704 bytes
Per R�nne <per.ronne@doesnt.work.spam.filter.invalid> wrote: > Bart Demoen <bmd@cs.kuleuven.ac.be> wrote: > > > Here is a session: > > > > [ YAP version Yap-4.4.4 ] > > ?- [user]. > > | asd. > > | qwe(9). > > | yes > > ?- asd. > > yes > > ?- qwe(X). > > X = 9 ? ; > > no > > Unfortunately, typing "yes" doesn't seem to end it: > > G4:~ per$ yap > [ Restoring file /sw/lib/Yap/startup ] > [ YAP version Yap-4.4.2 ] > ?- [user]. > | asd. > | qwe(9). > | yes > | I've found out [more or less guessed]: G4:~ per$ yap [ Restoring file /sw/lib/Yap/startup ] [ YAP version Yap-4.4.2 ] ?- parent(hans,per). no ?- [att]. [ consulting /Users/per/att... ] [ consulted /Users/per/att in module user, 0 msec 568 bytes ] yes ?- [user]. | end_of_file. yes ?- [user]. | parent(johannes,hans). | end_of_file. yes ?- parent(johannes,hans). yes ?- -- Per Erik R�nne
Technical Details
Message-ID:
<1ga3sqs.15ii00u6ulkg3N%per.ronne@doesnt.work.spam.filter.invalid>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!zeus.visi.com!priapus.visi.com!orange.octanews.net!news-out.visi.com!petbe.visi.com!news.octanews.net!news.tele.dk!news.tele.dk!small.news.tele.dk!lnewsoutpeer00.lnd.ops.eu.uu.net!lnewsinpeer00.lnd.ops.eu.uu.net!bnewsoutpeer00.bru.ops.eu.uu.net!bnewsinpeer00.bru.ops.eu.uu.net!emea.uu.net!news.cybercity.dk!per.ronneReferences:
<1ga2cfa.1p3qajl1tu539kN%per.ronne@doesnt.work.spam.filter.invalid> <1078300879.957971@seven.kulnet.kuleuven.ac.be> <1ga3fsd.inncwg4mvay8N%per.ronne@doesnt.work.spam.filter.invalid>Show Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 1033b0,271c09991fecbd9
X-Google-Attributes: gid1033b0,public
X-Google-Thread: f907c,271c09991fecbd9
X-Google-Attributes: gidf907c,public
X-Google-ArrivalTime: 2004-03-03 18:16:35 PST
Path: arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!zeus.visi.com!priapus.visi.com!orange.octanews.net!news-out.visi.com!petbe.visi.com!news.octanews.net!news.tele.dk!news.tele.dk!small.news.tele.dk!lnewsoutpeer00.lnd.ops.eu.uu.net!lnewsinpeer00.lnd.ops.eu.uu.net!bnewsoutpeer00.bru.ops.eu.uu.net!bnewsinpeer00.bru.ops.eu.uu.net!emea.uu.net!news.cybercity.dk!per.ronne
From: per.ronne@doesnt.work.spam.filter.invalid (Per Rønne)
Newsgroups: comp.lang.prolog,gnu.misc
Subject: Re: Yap - insertion mode
Date: Thu, 4 Mar 2004 03:16:32 +0100
Organization: Cybercity
Lines: 51
Message-ID: <1ga3sqs.15ii00u6ulkg3N%per.ronne@doesnt.work.spam.filter.invalid>
References: <1ga2cfa.1p3qajl1tu539kN%per.ronne@doesnt.work.spam.filter.invalid> <1078300879.957971@seven.kulnet.kuleuven.ac.be> <1ga3fsd.inncwg4mvay8N%per.ronne@doesnt.work.spam.filter.invalid>
Reply-To: spam@husumtoften.dk (Per Rønne)
NNTP-Posting-Host: port199.ds1-brh.adsl.cybercity.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: news.cybercity.dk 1078366592 4660 217.157.136.78 (4 Mar 2004 02:16:32 GMT)
X-Complaints-To: abuse@cybercity.dk
NNTP-Posting-Date: Thu, 4 Mar 2004 02:16:32 +0000 (UTC)
X-Face: -Ec]fH;)|5`=g?&$Zh-)dV|x:w#VG#S}<SEgcEV6v%v]1l'"v<nAf{BR\-}QF
/>C@|s&Og$a~PWByK#FcE"c1eV]<oBYWgsvFx)X.1IV=wcC9^!onQ4M8ewM
User-Agent: MacSOUP/2.6b2 (Mac OS X version 10.3.2)