Newsgroups: fj.lang.prolog,fj.lang.misc
Path: galaxy.trc.rwcp.or.jp!jaist-news!z-suzuki
From: z-suzuki@jaist.ac.jp (Yasuhiro Suzuki)
Subject: Re: concurrent TRS
In-Reply-To: z-suzuki@jaist.ac.jp's message of Tue, 26 Apr 1994 01:53:57 GMT
Content-Type: text/plain; charset=ISO-2022-JP
Message-ID: <Z-SUZUKI.94Apr26131551@skywalker.jaist.ac.jp>
Sender: news@jaist.ac.jp (News System Administrator)
Organization: Japan Advanced Institute of Science and Technology, Ishikawa,
	Japan
References: <Z-SUZUKI.94Apr26105357@skywalker.jaist.ac.jp>
Mime-Version: 1.0
Date: Tue, 26 Apr 1994 04:15:51 GMT
Lines: 23
Xref: galaxy.trc.rwcp.or.jp fj.lang.prolog:397 fj.lang.misc:1419
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.lang.misc&nb=1419&hd=a
X-reformat-date: Mon, 18 Oct 2004 15:18:22 +0900
X-reformat-comment: Tabs were expanded into 4 column tabstops by the Galaxy's archiver. See http://katsu.watanabe.name/ancientfj/galaxy-format.html for more info.


 $BNkLZ!w@hC<Bg$G$9!#(B

$B;d$,Ej9F$7$?5-;v$NCf4V0c$($,$"$j$^$7$?!#D{@5$7$F$*OM$S$$$?$7$^$9!#(B

>>>>> <Z-SUZUKI.94Apr26105357@skywalker.jaist.ac.jp> $B$K$F!"(B

$BA0H>ItN,(B...

*> 2.$BO@M}%W%m%0%i%_%s%0$NL58BBg2DG=@-$K4X$9$k8&5f$K6=L#$,$"$k$N$G(B
                              ^^^^^^^^^^^^
  $B"*(B $B$3$l$OL58BBg7W;;2DG=@-$N8m$j$G$9!#<:Ni$$$?$7$^$7$?!#(B
                        ^^^^
*> $B$9$,!"(B($B8D?ME*$K6=L#$,$"$k$H$$$&0UL#$G$9$,(B...^^!)$B$3$l$K4XO"$7(B
*> $B$?8&5f$r$4B8CN$NJ}$*$i$l$^$7$?$i!"%]%$%s%?$r$$$?$@$1$J$$(B 
*>         $B$G$7$g$&$+!)(B($B;d$,;}$C$F$$$k;qNA$O(B Lloyd $B$N(B Foundations of Logic  
*> programing $BBh;M>O(B $B$0$i$$$7$+$"$j$^$;$s!#(B- -;)

$B<:Ni$$$?$7$^$9!#(B
--------
   z-suzuki@jaist.ac.jp


