Article View: comp.lang.prolog
Article #4366Re: Yap - insertion mode
From: Bart Demoen
Date: Wed, 03 Mar 2004 22:17
Date: Wed, 03 Mar 2004 22:17
37 lines
2235 bytes
2235 bytes
Per RοΏ½nne 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 > | > That's because you didn't see the ^D I typed - yes is the response by Yap. All this is in the manual.Much faster to look it up than to wait for me to respond to you. Cheers Bart Demoen
Technical Details
Message-ID:
<1078352253.578789@seven.kulnet.kuleuven.ac.be>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!zeus.visi.com!news-out.visi.com!green.octanews.net!news-out.octanews.net!news.glorb.com!syros.belnet.be!ikaria.belnet.be!news.belnet.be!not-for-mailReferences:
<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 14:17:34 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!zeus.visi.com!news-out.visi.com!green.octanews.net!news-out.octanews.net!news.glorb.com!syros.belnet.be!ikaria.belnet.be!news.belnet.be!not-for-mail From: Bart Demoen <bmd@cs.kuleuven.ac.be> Newsgroups: comp.lang.prolog,gnu.misc Subject: Re: Yap - insertion mode Date: Wed, 03 Mar 2004 23:17:33 +0100 Organization: KULeuvenNet Lines: 37 Message-ID: <1078352253.578789@seven.kulnet.kuleuven.ac.be> 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> NNTP-Posting-Host: seven.kulnet.kuleuven.ac.be Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ikaria.belnet.be 1078352253 5713 134.58.127.12 (3 Mar 2004 22:17:33 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Wed, 3 Mar 2004 22:17:33 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: en-us, en In-Reply-To: <1ga3fsd.inncwg4mvay8N%per.ronne@doesnt.work.spam.filter.invalid> Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@hex.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/)