🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: fj.lang.prolog
Article #182

Re: Manual of SB-Prolog

#182
From: kawabe
Date: Thu, 20 Feb 1992 06:50
22 lines
1548 bytes
$@2OJU!w4XBg$G$9!#(J

sbprolog_doc.me $@$r(J titech $@$+$i<h$k$3$H$,$G$-$^$7$?!#(J$@$^$?!"(JSB-Prolog
V3.1 $@$r<j$KF~$l$F;HMQ$7$F$_$h$&$H;W$$$^$9!#(J
$@$"$j$,$H$&$4$6$$$^$7$?!#(J

$@$7$g$b$J$$<ALd$r(J$@$9$k$+$bCN$l$^$;$s$,!"$=$N$H$-$O$h$m$7$/$*4j$$$7$^$9!#(J


$@!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y(J$@!z!y!z!y!z!y!z!y!z!y!z!y!z(J

    $@Hs>o$KJ6$i$o$7$$$G$9$,!"$I$A$i$N%"%I%l%9$KAw$i$l$F$b;d$N=j$K(J
    $@%a!<(J$@%k$O3N<B$KFO$-$^$9!#(J

                 $@2OJU!w>pJs=hM}9)3X8&5f<<(J.$@4X@>Bg3X(J
                     kawabe@iecs.kansai-u.ac.jp

              $@2OJU!wK-ED8&5f<<(J.$@;:6H2J3X8&5f=j(J.$@Bg:eBg3X(J
                   kawabe@ai.sanken.osaka-u.ac.jp

$@!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z!y!z(J
Technical Details
Message-ID: <KAWABE.92Feb20155055@ONTAKE.ai.sanken.osaka-u.ac.jp>
Path: arc1-ca.pugleaf.net!sparky!uunet!think.com!mips!panasonic.com!chorus.mei!icspub!creamy!taeko!ouskn1!kawabe
References: <KAWABE.92Feb15210226@ONTAKE.ai.sanken.osaka-u.ac.jp> <TAKE.92Feb18134913@katura.tutics.tut.ac.jp>

Show Full Headers
Complete Article Headers
X-Google-Language: Japanese,JIS
X-Google-Thread: 1217ff,48f0f78b94ddc442
X-Google-Attributes: gid1217ff,public
X-Google-ArrivalTime: 1992-02-20 01:35:00 PST
Path: arc1-ca.pugleaf.net!sparky!uunet!think.com!mips!panasonic.com!chorus.mei!icspub!creamy!taeko!ouskn1!kawabe
From: kawabe@ai.sanken.osaka-u.ac.jp
Newsgroups: fj.lang.prolog
Subject: Re: Manual of SB-Prolog
Message-ID: <KAWABE.92Feb20155055@ONTAKE.ai.sanken.osaka-u.ac.jp>
Date: 20 Feb 92 06:50:55 GMT
References: <KAWABE.92Feb15210226@ONTAKE.ai.sanken.osaka-u.ac.jp>
 <TAKE.92Feb18134913@katura.tutics.tut.ac.jp>
Sender: news@ouskn1.sanken.osaka-u.ac.jp
Distribution: fj
Organization: ISIR
Lines: 22
In-reply-to: take@katura.tutics.tut.ac.jp's message of 18 Feb 92 13:49:13 JST