Article View: fj.lang.prolog
Article #5Re: prolog term
From: Hideyuki Nakashima
Date: Thu, 06 Aug 1992 05:06
Date: Thu, 06 Aug 1992 05:06
18 lines
1364 bytes
1364 bytes
$@$A(J$@$g$C$H;~4|$O$:$l$N%U%)%m!<$G$9$,!$(J In article <KATSU.92Mar12191053@sran14.sra.co.jp> katsu@sran14.sra.co.jp (Katsuhiro Watanabe) writes: $@!!DL>o$N(J Prolog $@$G$O!"%4!<%k$H(J unification $@2DG=$J%[!<%s@a$,J#(J$@?t$"$k(J $@>l9g!"$^$:$OE,Ev$J0l$D$H(J unify $@$7$F$_$F8e!9<:GT$7$?$i(J backtrack $@$7$F(J $@B>$r;n$9$h$&$J<BAu$,(J$@$h$/$*$3$J$o$l$^$9!#$G$b!"(Jlogic $@$NB&LL$+$i8+$l$P!"(J backtrack $@$O(J Prolog $@$NK\<A$H4X78$J$$$H8@$C$F$$$$(J$@$G$9$h$M!)!JB>$K(J $@$I$s$J$d$jJ}$,$"$k$N$+$OCN$j$^$;$s$1$I!#!K(J backtrack$@$O(Jlogic programming $@$NK\<A$H(J$@$O4X78$"$j$^$;$s$,!$(J Prolog$@$NK\<A$@$H;W$$$^$9!%(J Prolog$@$O%W%m%0%i%_%s%08@8l$J$N$G$9$+$i!%(J -- $@EE;R5;=Q(J$@Am9g8&5f=j(J $@6(D4%"!<%-%F%/%A%c7W2h<<(J $@CfEg=(G7(J
Technical Details
Message-ID:
<NAKASHIM.92Aug6140630@uranus.etl.go.jp>Path:
arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!etlss2!nakashimReferences:
<13363@skunk.nri.co.jp> <KATSU.92Mar12191053@sran14.sra.co.jp>Show Full Headers
Complete Article Headers
Newsgroups: fj.lang.prolog Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-tyo-news!etl.go.jp!etlss2!nakashim From: nakashim@etl.go.jp (Hideyuki Nakashima) Subject: Re: prolog term In-Reply-To: katsu@sran14.sra.co.jp's message of 12 Mar 92 10: 10:53 GMT Message-ID: <NAKASHIM.92Aug6140630@uranus.etl.go.jp> Sender: news@etl.go.jp (News System) Nntp-Posting-Host: uranus Organization: Electrotechnical Laboratory References: <13363@skunk.nri.co.jp> <KATSU.92Mar12191053@sran14.sra.co.jp> Date: Thu, 6 Aug 1992 05:06:30 GMT Lines: 19