🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.prolog
Article #4365

Re: Yap - insertion mode

#4365
From: Per Røn ne
Date: Wed, 03 Mar 2004 21:42
28 lines
1876 bytes
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
| 

-- 
Per Erik R�nne
Technical Details
Message-ID: <1ga3fsd.inncwg4mvay8N%per.ronne@doesnt.work.spam.filter.invalid>
Path: arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!fu-berlin.de!news.tele.dk!news.tele.dk!small.news.tele.dk!news.algonet.se!algonet!newsfeed1.uni2.dk!news.cybercity.dk!per.ronne
References: <1ga2cfa.1p3qajl1tu539kN%per.ronne@doesnt.work.spam.filter.invalid> <1078300879.957971@seven.kulnet.kuleuven.ac.be>

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 13:42:38 PST
Path: arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!fu-berlin.de!news.tele.dk!news.tele.dk!small.news.tele.dk!news.algonet.se!algonet!newsfeed1.uni2.dk!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: Wed, 3 Mar 2004 22:42:33 +0100
Organization: Cybercity
Lines: 28
Message-ID: <1ga3fsd.inncwg4mvay8N%per.ronne@doesnt.work.spam.filter.invalid>
References: <1ga2cfa.1p3qajl1tu539kN%per.ronne@doesnt.work.spam.filter.invalid> <1078300879.957971@seven.kulnet.kuleuven.ac.be>
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 1078350154 80060 217.157.136.78 (3 Mar 2004 21:42:34 GMT)
X-Complaints-To: abuse@cybercity.dk
NNTP-Posting-Date: Wed, 3 Mar 2004 21:42:34 +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)