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: concurrent TRS
Content-Type: text/plain; charset=ISO-2022-JP
Message-ID: <Z-SUZUKI.94Apr26105357@skywalker.jaist.ac.jp>
Sender: news@jaist.ac.jp (News System Administrator)
Organization: Japan Advanced Institute of Science and Technology, Ishikawa,
	Japan
Mime-Version: 1.0
Date: Tue, 26 Apr 1994 01:53:57 GMT
Lines: 20
Xref: galaxy.trc.rwcp.or.jp fj.lang.prolog:396 fj.lang.misc:1418
X-originally-archived-at: http://galaxy.rwcp.or.jp/text/cgi-bin/newsarticle2?ng=fj.lang.misc&nb=1418&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!wKLN&@hC<Bg$H?=$7$^$9!#(B

$BITJY6/<T$+$i$N#2$D$N<ALd$G$"$j$^$9!#(B^^! $B?=$7Lu$4$6$$$^$;$s!#(B

1.$B$I$J$?$+(B $BJB9T9`=q49$(7O$rO@M}%W%m%0%i%_%s%0$KE,MQ$7$?$h$&$J(B
$B8&5f$r$4B8CN$NJ}$*$i$l$^$7$?$i!"%]%$%s%?$r$$$?$@$1$J$$$G$7$g$&(B
$B$+!)(B

2.$BO@M}%W%m%0%i%_%s%0$NL58BBg2DG=@-$K4X$9$k8&5f$K6=L#$,$"$k$N$G(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$G$O!"<:Ni$$$?$7$^$9!#(B
--------
E-mail z-suzuki@jaist.ac.jp

