\documentclass[a4j,twocolumn]{jarticle}
\title{ dklic: KL1$B$K$h$kJ,;6(BKL1$B8@8l=hM}7O$N<BAu(B }
\author{ $B9bLZM42p(B \\ $BAa0pEDBg3XBg3X1!M}9)3X8&5f2J(B
 \and $B>eEDOB5*(B \\ $BAa0pEDBg3XM}9)3XIt>pJs3X2J(B }
\date{}

\begin{document}
\maketitle

%---------------------------------------------------------------

\section{ $B$O$8$a$K(B }

$B:G6a!"%3%s%T%e!<%F%#%s%0$N<gN.$O(B
$BC1FH4D6-$+$iJ,;64D6-$X$H0\9T$7$D$D$"$k!#(B
$B0lEYJ,;64D6-$r7P83$7$?<T$,C1FH4D6-$rK>$`$3$H$O>/$J$$$N$G!"(B
$BJ,;6%3%s%T%e!<%F%#%s%0$N=EMW@-$O3HBg$7B3$1$k$@$m$&!#(B

$B$7$+$7!"J,;6%W%m%0%i%_%s%0$K$OC`<!%W%m%0%i%_%s%0$K$J$$(B
$BB?$/$NLdBj$,B8:_$9$k!#J,;69=B$!"%;%-%e%j%F%#!"(B
$B%U%)!<%k%H!&%H%l%i%s%9$H$$$C$?Bg$-$JLdBjNN0h$+$i!"(B
$B%=%1%C%H$N;H$$J}!"%W%m%H%3%k$K=>$C$?DL?.$N<BAu(B
$B$H$$$C$?:3Kv$JLdBj$^$G$G$"$k!#(B
$B$3$N$&$A!":3Kv$JLdBj$OE,@Z$JF;6q!?%W%m%0%i%_%s%08@8l(B
$B$K$h$C$F2r7h$G$-$k$b$N$H;W$o$l$k!#(B

KL1 [\ref{KL1}] $B$OC1=c$JJB9TO@M}7?8@8l$G$"$k!#(B
$BJB9T7W;;$OJBNs!?J,;67W;;$+$iJ*M}E*$JB0@-$r(B
$B<h$j5n$C$?Jq3gE*$J35G0$G$"$j!"5U$KJB9T7W;;$N>e$K(B
$BJ*M}E*$JB0@-$rIU2C$9$k$3$H$K$h$C$FJBNs!?J,;67W;;$rI=8=$G$-$k!#(B

$BJB9TO@M}7?8@8l$O!"JBNs!?J,;6$r4^$`JB9T7W;;$r(B
$B%W%m%;%972$H%W%m%;%94VDL?.$K$h$C$F@k8@E*$K5-=R$9$k$3$H$,$G$-$k!#(B
$B$^$?!"6/$/7?IU$1!?%b!<%IIU$1$5$l$?JB9TO@M}7?%W%m%0%i%`$KBP$7$F(B
$BDL?.%W%m%H%3%k$N0l4S@-$rJ]>Z$9$k$3$H$,$G$-$k!#(B
$B$3$l$i$N@-<A$O!"J,;6%W%m%0%i%_%s%0$rMF0W$K$9$k!#(B

$B$7$+$7!"$3$l$^$G(BKL1$B$N1~MQ$O<g$KJBNs5-9f=hM}$r;X8~$7$F$$$?!#(B
KLIC [\ref{KLIC}] $B$OC1=c$G8zN(E*$JJBNs(BKL1$B8@8l=hM}7O$G$"$k$,!"(B
$BJ,;65!G=$NDs6!$O%=%1%C%H%l%Y%k$N$_$G$"$k!#(B
$B$=$l0J30$K4{B8$N(BKL1$B8@8l=hM}7O$O!"(B
$B@lMQ5!>e$N=hM}7O(B (PIMOS) $B$H(BKLIC$B$N0\?"!?2~NIHG$N$_$G$"$C$?!#(B

KLIC$B$K0MB8$7$J$$J,;6(BKL1$B8@8l=hM}7O(B [\ref{KL1j}] $B$b;n$_$i$l$?$,!"(B
$B%b%N%j%7%C%/$G5pBg$J<BAu$N$?$aL$40@.$G$"$k!#(B
$B=>$C$F!"J,;6(BKL1$B8@8l=hM}7O$N<BAu$r8!F$$9$k$3$H$O!"(B
$BJ,;6%W%m%0%i%_%s%0$rMF0W$K$9$k$?$a$K$b(B
$BJB9TO@M}7?8@8l$N1~MQ3HBg$N$?$a$K$b=EMW$G$"$k!#(B

$BJ,;6(BKL1 [\ref{KL1j}] $B$O>l=j$N35G0$rF3F~$9$k%W%i%0%^!"(B
$B$*$h$S%_%I%k%&%'%"$KEv$?$kJ,;6%9%H%j!<%`4IM}$rDs6!$9$k!#(B
$BJ,;6%W%i%0%^$O(BKLIC$B$NJBNs%W%i%0%^$K=,$$!"(B
$BJB9T7W;;$N%M%C%H%o!<%/F)2a@-$rJ]$D$h$&$K@_7W$5$l$?!#(B
$B$=$N0lJ}!"%W%i%0%^$r9MN8$9$k$3$H$K$h$C$F(B
$BJ*M}E*$J<B9T>uBV$rM=B,$9$k$3$H$b2DG=$G$"$k!#(B

dklic [\ref{dklic}] $B$O(BKL1$B$K$h$C$FJ,;6(BAPI$B$r5-=R$7!"(BKLIC$B$N3HD%$r9T$&!#(B
KL1$B$K$h$C$F(BKLIC$B$r3HD%$9$k$N$O<BAu$NC1=c$5$N$?$a$G$"$k!#(B
$B<BF/$9$kJ,;6(BKL1$B8@8l=hM}7O$rAa5^$K<B8=$9$k$?$a!"(B
$B<BAu$NC1=c$5$r=E;k$7$?!#(B

$B$^$?!"(BKL1$B$K$h$C$F5-=R$G$-$k(BAPI$B$r@Z$jJ,$1$k$3$H$K$h$C$F(B
$B:#8e<BAu$5$l$k$Y$-J,;6(BKL1$B8@8l=hM}7O$N3K5!G=$rL@3N$K8B(B
$BDj$9$k$3$H$,$G$-$?!#(B


\section{ $BJ,;6(BKL1$B%W%m%0%i%`$NNc(B }

$B<!$K<($9$N$O!"%A%c%C%H!&%/%i%$%"%s%H$NNc$G$"$k!#(B
$BI8=`F~=PNO$H%A%c%C%H!&%5!<%P$X$NF~=PNO$r3+$-!"(B
$BI8=`F~NO$G(B$ 1 $$B9TFI$_9~$`Kh$K%A%c%C%H!&%5!<%P$X=PNO$7!"$=$l$HJBNs$K(B
$B%A%c%C%H!&%5!<%P$+$i(B$ 1 $$B9TF~NO$5$l$kKh$KI8=`=PNO$X=q$-=P$9!#(B

$B1s3V8F$S=P$7$O!"(B
\verb!@node(HOST)!$B$H$$$&%W%i%0%^$,IU$$$F$$$k$3$H$r=|$1$P!"(B
$BDL>o$N8F$S=P$7$HA4$/F1$87A$G$"$k!#(B
$BNc$G$O>JN,$7$?$,!"(B\verb!HOST!$B$H$$$&JQ?t$K$O(B
$B1s3V%[%9%H$N(BURL$B$rI=$9J8;zNs$,6qBN2=$5$l$F$$$J$1$l$P$J$i$J$$!#(B

\begin{verbatim}
:- module main.

main :- true |
  unix:unix([stdin(RI), stdout(RO)]),
  server:chat(RChat, RCast) @node(HOST),
  main(RI, RO, RChat, RCast).

main(RI, RO, RChat, RCast) :-
    RI=normal(I), RChat=normal(Chat),
    RO=normal(O), RCast=normal(Cast) |
  getl(0, I, Chat),
  getl(0, Cast, O).

getl(F, I, O) :- F=0 |
  I = [getl(L) | I1],
  putl(L, I1, O).

putl(L, I, O) :- string(L,_,_) |
  O = [putl(L), fflush(F) | O1],
  getl(F, I, O1).
\end{verbatim}

$B$3$N%W%m%0%i%`$NDL?.Nc$r<!$K<($9!#(B

\begin{verbatim}
< "This is a pen."
> "This is a pen."
> "That is a desk."
< "I am a student."
> "I am a student."
> "You are a teacher."
\end{verbatim}

$B9TF,$K(B \verb!<! $B$,IU$$$F$$$k$b$N$O%/%i%$%"%s%H$+$i$N%a%C%;!<%8$G$"$j!"(B
\verb!>! $B$,IU$$$F$$$k$b$N$O%5!<%P$+$i$N%V%m!<%I%-%c%9%H$G$"$k!#(B
$B%A%c%C%H!&%5!<%P$O%/%i%$%"%s%H$+$i$N%a%C%;!<%8$r$=$N$^$^Aw$jJV$7!"(B
$BB>$N%/%i%$%"%s%H$+$i$N%a%C%;!<%8$b$^$?%V%m!<%I%-%c%9%H$9$k!#(B


\section{ dklic$B$K$h$k%W%m%0%i%_%s%0$NNc(B }

$B8=:_$N(Bdklic$B$O!"C1=c$J1s3V8F$S=P$7(BAPI$B$rDs6!$7$F$$$k!#(B
$B%3%s%Q%$%i$ODs6!$7$F$$$J$$$?$a!"(B
$B1s3V8F$S=P$7$O%W%i%0%^IU$-$N=R8l8F$S=P$7$G$O$J$/!"(B
API$B$rMxMQ$7$?%a%?8F$S=P$7$r9T$J$&I,MW$,$"$k!#(B

$B<!$NNc$O!"%A%c%C%H!&%/%i%$%"%s%H$N1s3V8F$S=P$7$r(B
dklic$B$N1s3V8F$S=P$7(BAPI$B$rMxMQ$7$F=q$-49$($?$b$N$G$"$k!#(B

\begin{verbatim}
  % $BA0N,(B
  % server:chat(RChat, RCast) @node(HOST),
  remote:call(server:chat(RChat,RCast),HOST),
  % $B8eN,(B
\end{verbatim}

$B9TF,$K(B \verb!%! $B$,IU$$$F$$$k$b$N$O%3%a%s%H$G$"$k!#(B
$B1s3V8F$S=P$7(BAPI$B$NMxMQ$O(B
$B%W%i%0%^IU$-$N8F$S=P$7$KHs>o$K;w$F$*$j!"(B
$BJQ49$OMF0W$G$"$k$3$H$,J,$+$k$@$m$&!#(B

%---------------------------------------------------------------

\section{ $BJ,;6JQ?t4IM}(B }

$BJB9TO@M}7?8@8l$NJQ?t$OC10lBeF~$G$"$j!"L$Dj5A>uBV$r;}$DO@M}JQ?t$G$"$k!#(B
$B%W%m%;%94VDL?.$KMxMQ$5$l$k%9%H%j!<%`$OF,$+$i=y!9$K6qBN2=$5$l$k%j%9%H$G$"$j!"(B
$B1s3V8F$S=P$7$N0z?t$H$7$FEO$5$l$k!#(B

$BJQ?t$NM"=PF~$H$=$N6qBN2=$K$h$C$F!"$3$N$h$&$J%9%H%j!<%`$rI=8=$G$-$k!#(B
$B%W%m%0%i%^$K0U<1$5$;$:$KJQ?t$H6qBN2=$NM"=PF~$r9T$&(B
$B%M%C%H%o!<%/F)2a$JJ,;6JQ?t4IM}$,I,MW$G$"$k!#(B

dklic$B$G$OJQ?tI=$rF3F~$7$F!"M"=PF~$5$l$?JQ?t$KL>A0$r$D$1$F4IM}$7!"(B
$B%m!<%+%k$K6qBN2=$,9T$o$l$?$H$-$K$=$N6qBN2=$r1s3V%[%9%H$KEA$($k$3$H$K$7$?!#(B
$BM"=PF~$5$l$?JQ?t$r<1JL$7!"L?L>$9$k$3$H$,2]Bj$G$"$C$?!#(B

KLIC$B$G$O%W%m%0%i%`FbIt$+$iJQ?t$r<1JL$9$k$3$H$,$G$-$J$$!#(B
$B0lEY6qBN2=$5$l$?JQ?t$O$=$NCM$rHf3S$G$-$k$N$@$,!"(B
$BL$Dj5A>uBV$NJQ?t$r;2>H$9$k$H%W%m%;%9$,CfCG$7!"(B
$B6qBN2=$5$l$k$^$GBT$C$F$7$^$&!#(B
$B$3$N$?$a!"(Bdklic$B$G$OA4$F$NJQ?t$r0[$J$kJQ?t$H8+$J$7!"(B
$BF10l$NJQ?t$G$bM"=PF~$5$l$kKh$K%(%s%H%j$rEPO?$9$k!#(B

$BJ,;6JQ?t$N%(%s%H%j$rEPO?$9$k$K$OJQ?t$NL?L>$,I,MW$G$"$k!#(B
$B%W%m%0%i%`J8LL>e$N@EE*JQ?tL>$OMxMQ$9$k$3$H$,$G$-$J$$!#(B
$B$J$<$J$i!"@EE*JQ?t$OJ#?t$NF0E*JQ?t$rI=$7$F$$$k2DG=@-$,$"$k$+$i$@!#(B
dklic$B$G$O!"%(%s%H%jKh$K?7$7$$@0?t$r@8@.$7!"$=$l$rJQ?tL>$H$7$?!#(B
$B@h$NNc$KBP$7$F$O!"<!$N$h$&$JJQ?tL>$r@8@.$9$k!#(B

\begin{verbatim}
< server:chat(_0, _1)
> _0 = normal(_2)
> _1 = normal(_3)
< _2 = ["This is a pen." | _4]
> _3 = ["This is a pen." | _5]
> _5 = ["That is a desk." | _6]
< _4 = ["I am a student." | _7]
> _6 = ["I am a student." | _8]
> _8 = ["You are a teacher." | _9]
< _7 = []
> _9 = []
\end{verbatim}

\verb!_! $BIU$-$N@0?t$,!"@8@.$5$l$?JQ?tL>$rI=$9!#(B
$B9TF,$K(B \verb!<! $B$,IU$$$F$$$k$b$N$O(B
$B%/%i%$%"%s%H$+$i$N1s3V8F$S=P$7$^$?$O6qBN2=DLCN$G$"$j!"(B
\verb!>! $B$,IU$$$F$$$k$b$N$O(B
$B%5!<%P$+$i$N6qBN2=DLCN$G$"$k!#(B


\subsection{ $BJQ?t:o=|(B }

KL1$B$NO@M}E*$J7W;;%b%G%k$K$*$$$F$O!"(B
$BJQ?t$N6qBN2=$r3JG<$9$k@)Ls5-21$OC1D4A}2C$9$k!#(B
$B$7$+$7!"(BKL1$B$N<BAu$K$*$$$F$O%,!<%Y%8!&%3%l%/%7%g%s$,9T$o$l!"(B
$BITMW$K$J$C$?JQ?t5-21$O:FMxMQ$5$l$k!#(B

dklic$B$NJQ?tI=$bITMW$K$J$C$?@)Ls$r:o=|$9$kI,MW$,$"$C$?!#(B
$B:o=|$r9T$o$J$$$HJQ?tI=$,L5BL$KBg$-$J6u4V$r;H$$!"(B
$B7W;;5!$N%a%b%j$r05Gw$7$F$7$^$&!#(B


\subsection{ $BHsF14|(B }

KLIC$B$K$O%=%1%C%HF~=PNO$,F14|$5$l$F$7$^$&%P%0$,$"$k!#(B
dklic$B$NC`<!8F$S=P$7$G$O$3$N%P%0$r2sHr$;$:!"(B
$BDL?.$rF14|$5$;$F1s3V8F$S=P$7$r2DG=$K$7$?!#(B

$B$7$+$7!"%A%c%C%H$N$h$&$KHsF14|F~=PNO$rI,MW$H$9$k%"%W%j%1!<%7%g%s$O(B
$BC`<!8F$S=P$7$G$O<B8=$G$-$J$$!#(B
$B$3$N$?$a!"%=%1%C%HF~=PNO$HJ,;6JQ?t4IM}$rHsF14|$K$7$?JB9T8F$S=P$7HG$r<BAu$7$?!#(B

$B%=%1%C%HF~=PNO$rHsF14|$K$9$k$K$O(BKLIC$B$r=$@5$9$l$PNI$$$,!"(B
$BJ,;6JQ?t4IM}$NHsF14|2=$K$OJB9T%"%k%4%j%:%`$,I,MW$G$"$j!"(B
$BC`<!8F$S=P$7HG$G0EL[$K$"$C$?B?$/$NA0Ds$,Jx2u$7$?!#(B
$B$=$N7k2L!"JB9T8F$S=P$7HG$OC`<!8F$S=P$7HG$H$OA4$/0[$J$k<BAu$H$J$C$?!#(B

$BC`<!8F$S=P$7HG$G$O%[%9%H4V$G8r8_$KDL?.$r9T$$!"(B
$BJRJ}$NHV$,=*$o$C$F$+$i$b$&JRJ}$NHV$,;O$^$k$N$G!"(B
$BJQ?t$NL>A06u4V$,6&DL$G$"$k$3$H$,J]>Z$5$l$F$$$?!#(B
$B$7$+$7!"JB9T8F$S=P$7HG$G$OJRJ}$G?7$7$/@8@.$7$?L>A0$,Aj<j$KEA$o$kA0$K!"(B
$BAj<j$,F1$8L>A0$rB>$NJQ?t$K;H$C$F$7$^$&2DG=@-$,$"$k!#(B
$B$3$N$?$a!"JQ?t$NL>A06u4V$rJ,N%$9$kI,MW$,$"$C$?!#(B


\subsection{ $BJB9T(B }

$BJ,;6JQ?t4IM}$rHsF14|2=$9$k$?$a$K$O!"(B
$BJB9T$JDL?.%W%m%H%3%k$,I,MW$G$"$k!#(B
$BHsF14|F~=PNO$N$?$a$K>/$J$/$H$b(B$ 2 $$B$D$NFHN)$J%W%m%;%9$,I,MW$G$"$j!"(B
$B$=$l$i$NJB9T%W%m%;%9$,HsF14|$K(B$ 1 $$B$D$NJQ?tI=$r99?7$G$-$J$1$l$P$J$i$J$$!#(B
$BJQ?t$NM"=PF~$K$h$C$FJQ?tI=$rJ,$1$k$3$H$O$G$-$J$$!#(B
$B$J$<$J$i!"M"=P$7$?JQ?t$,$I$A$iB&$+$i6qBN2=$5$l$k$+$OJ,$+$i$J$$$+$i$@!#(B

$BC`<!8F$S=P$7HG$K$*$$$F$O99?7A`:n$NC`<!@-$r0EL[$NA0Ds$H$7$F(B
$BJQ?tI=$r%j%9%H$GI=8=$7$?$,!"(B
$BJB9T8F$S=P$7HG$K$*$$$F$OF1$8A0Ds$r4|BT$9$k$3$H$O$G$-$J$$!#(B
$B$3$N$?$a!"JQ?tI=$r%W%m%;%99=B$$GI=8=$9$k$3$H$K$7$?!#(B


\subsection{ $B%W%m%;%99=B$(B }

KL1$B$G$O!"FHN)$J%W%m%;%9$OJB9T$G$"$k!#(B
$BJ#?t$N%W%m%;%9$OHs7hDjE*$K%9%1%8%e!<%j%s%0$5$l$k!#(B
$B$7$+$7!"(BKL1$B$N%G!<%?7?$OI,$:$7$bJB9T$G$J$$!#(B
$B%U%!%s%/%?$H%Y%/%?$G$O3FMWAG$N=hM}$,F14|$5$l!"(B
$B%j%9%H$OA0$+$i=g$K=hM}$5$l$k!#(B

$BJ,;6JQ?t4IM}$rJB9T$K9T$J$&$K$O!"(B
$B3FJ,;6JQ?t$rFHN)$J%W%m%;%9$GI=8=$9$kI,MW$,$"$k!#(B

$BC`<!8F$S=P$7HG$G$OF14|$GC`<!$J%G!<%?9=B$$GI=8=$7$F$$$?JQ?tI=$r!"(B
$BJB9T8F$S=P$7HG$G$OHsF14|$GJB9T$J%W%m%;%99=B$$GI=8=$7$?!#(B
$B3FJ,;6JQ?t$OJQ?tI=$r%5!<%P$H$9$k%/%i%$%"%s%H$G$"$j!"(B
$BJQ?t$NM"=P$K$h$C$F@8@.$5$l!"6qBN2=$NM"=P$K$h$C$F:o=|$5$l$k!#(B

%---------------------------------------------------------------

\section{ $BAq1`(B }

$BJ,;64D6-$K$O!"C1FH4D6-$K$J$$%N%$%:$,B?$/B8:_$9$k!#(B
$B$^$?!"8!=P$G$-$J$$<:GT$bB?$$!#(B

PIMOS$B$OAq1`$H8@$&O@M}E*$J7W;;6u4V$r;}$A!"(B
$B%W%m%;%9$,JL$NAq1`$G9T$J$o$l$?=hM}$N<:GT$r8!=P$G$-$?!#(B

dklic$B$G$O!"<g$K%5!<%P$N<:GT$r%/%i%$%"%s%H$,8!=P$G$-$k$h$&$K$9$k$?$a!"(B
$BAq1`$N$h$&$J%+%W%;%k4D6-$NDs6!$r8!F$$7$F$$$k!#(B


\section{ $BJ,;6%9%H%j!<%`4IM}(B }

$BKAF,$N%A%c%C%H$NNc$G$O!"(B
$B%/%i%$%"%s%H$,D>@\%5!<%P$r8F$S=P$7$F$$$k!#(B
$B$3$l$O!"%/%i%$%"%s%H$+$i$N8F$S=P$7Kh$K%5!<%P$,5/F0$7D>$5$l$k$3$H$r0UL#$9$k!#(B
$B$7$+$7!"K>$_$N%5!<%P$O%/%i%$%"%s%H$+$i$N8F$S=P$7$HL54X78$K5/F0$7!"(B
$ 1 $$B$D$N%/%i%$%"%s%H$,@\B3$r@Z$C$F$bB8B3$9$k$b$N$G$"$k!#(B

KLIC$B$G$O!"8F$S=P$7LZ$G?F;R4X78$K$J$$%W%m%;%9F1;N$,DL?.$r9T$J$&$3$H$,$G$-$J$$!#(B
$B$3$l$O!"%W%m%;%94VDL?.$KMxMQ$5$l$k%9%H%j!<%`$,8F$S=P$7$N0z?t$H$7$FEO$5$l!"(B
$B$=$NB>$N%W%m%;%9$+$i;2>H$G$-$J$$$?$a$G$"$k!#(B

PIMOS$B$G$O(BOS$B$,%5!<%P!&%9%H%j!<%`$r4IM}$7$F$*$j!"(B
$B%W%m%;%9$,G$0U$N%5!<%P$NEPO?!?<hF@$r9T$J$&$3$H$,$G$-$?!#(B
dklic$B$G$O!"(BPIMOS$B$,C1FH4D6-$G9T$J$C$F$$$?%9%H%j!<%`4IM}$r(B
$BJ,;64D6-$G9T$J$&$3$H$,2]Bj$G$"$k!#(B

$BJ,;6JQ?t4IM}$K$*$$$F$O%9%H%j!<%`$N;~7ONs$r0[$J$kJQ?t$H$7$FI=8=$G$-$?$,!"(B
$BJ,;6%9%H%j!<%`4IM}$K$*$$$F$OF10l%9%H%j!<%`$N;~7ONs$rF10l$NL>A0$GI=$9I,MW$,$"$k!#(B
$B$J$<$J$i!"J,;6%9%H%j!<%`$O<g$K%5!<%P!&%W%m%;%9$N%]!<%H$G$"$j!"(B
$BJ#?t$N%/%i%$%"%s%H$+$i%"%/%;%9$5$lF@$k$+$i$@!#(B
$BJ,;6JQ?t$NL?L>K!$K$h$k$H!"J#?t$N%/%i%$%"%s%H$,F14|$5$l(B
$B%/%i%$%"%s%H4V$N=g=xIU$1$,$J$5$l$F$7$^$&!#(B
$B<B:]$N%5!<%P$X$N%9%H%j!<%`$O!"(B
$BJ#?t$N%/%i%$%"%s%H$+$i$N%9%H%j!<%`$r%^!<%8$7$?$b$N$K$J$k$@$m$&!#(B

%---------------------------------------------------------------

\section{ $B1JB3%W%m%;%9(B }

$B%W%m%;%9$r1JB32=$G$-$l$P!"7W;;ESCf$N>uBV$r%U%!%$%k$K3JG<$7$?$j!"(B
$BDL?.$NCfCG!?:F3+$r9T$J$C$?$j$9$k$3$H$,2DG=$K$J$k!#(B


\section{ $B%a%?=hM}7O(B }

$B8=:_$N(Bdklic$B$OC1=c$J<BAu$rL\;X$7!"(B
$B1s3V8F$S=P$7@h$N=R8l$,Aj<j$N%[%9%H$KB8:_$9$k$3$H$rA0Ds$H$7$F$$$k!#(B

$B$7$+$7!"0E9f2=%5!<%P$N$h$&$K%m!<%+%k%[%9%H$G9T$J$&$Y$-=hM}$,B8:_$9$k!#(B
$B$@$+$i$H$$$C$F!"0E9f2=%5!<%P$r3F%/%i%$%"%s%H$,8DJL$K<BAu$9$k$N$OL5BL$G$"$k!#(B

$B$3$N$h$&$J%5!<%P$O!"<B9T;~$K%m!<%+%k%[%9%H$X<h$j9~$a$k$HNI$$!#(B
$B=R8l0\Aw$r<B8=$9$k$K$O!"0\Aw$5$l$?=R8l$r<B9T$9$k%a%?=hM}7O$,I,MW$G$"$k!#(B

$B$^$?!"J,;6JQ?t4IM}$K$*$$$FJQ?t$N<1JL$K$D$$$F=R$Y$?$,!"(B
$B%a%?JQ?t$r07$&$3$H$,$G$-$l$P$3$NLdBj$O2r7h$9$k!#(B


\section{ $B%*%V%8%'%/%H;X8~(B }

KL1$B$N%W%m%;%9$O%*%V%8%'%/%H$H8+$J$9$3$H$,$G$-$k!#(B
$B%9%H%j!<%`$rMxMQ$7$?%W%m%;%94VDL?.$OHsF14|%a%C%;!<%8EO$7$KAjEv$9$k!#(B

$B$7$+$7!"0lHL$K(BKL1$B$N%W%m%;%9$O%a%?8F$S=P$7$,9T$($:!"(B
first class $B$N%*%V%8%'%/%H$H$O8@$($J$$!#(B
KLIC$B$OC1FH4D6-$K$*$$$F%a%?8F$S=P$7$N3HD%5!G=$rDs6!$7$F$$$k$,!"(B
$BJ,;64D6-$K$*$$$F$O%a%?=hM}7O$r:n$i$J$1$l$P$J$i$J$$!#(B

$BJ,;64D6-$K$*$$$F%W%m%;%9$r%a%?8F$S=P$7$9$k$3$H$,$G$-$l$P!"(B
$B1JB3%W%m%;%9$d=R8l0\Aw$N<B8=$bMF0W$K$J$k$b$N$H;W$o$l$k!#(B
$B$3$N$h$&$J5!G=$rHw$($?(BKL1$B$O!"7Q>5$N$J$$%W%m%H%?%$%W!&%Y!<%9$N(B
$B%*%V%8%'%/%H;X8~8@8l$G$"$k$H8@$($k!#(B

$BJ,;68@8l$K$*$$$F!"$"$k$$$O0lHL$K%*%V%8%'%/%H;X8~8@8l$K$*$$$F(B
$B7Q>55!G=$,I,MW$+H]$+$O8!F$$5$l$J$1$l$P$J$i$J$$$,!"(B
$BJ8LL>e$N7Q>5$K$D$$$F$O(B delegation $B$XK]Lu$9$l$PNI$$!#(B
$B8=:_$N(Bdklic$B$O(BKLIC$B$NMxMQ$rA0Ds$H$7$F$$$k$,!"(B
$B%3%s%Q%$%i$r(B$ 1 $$B$+$i:n$j>e$2$k$J$i!"(B
$B$b$C$H8zN(NI$/7Q>5$rI=8=$9$k$3$H$b$G$-$k!#(B

%---------------------------------------------------------------

\section*{ $B<U<-(B }

$BK\8&5f$N0lIt$O!$2J3X8&5fHqJd=u6b(B(C)(2)11680370$B$N=u@.$rF@$F9T$J$C$?!#(B


\section*{ $B;29MJ88%(B }
\begin{enumerate}
\item \label{KL1}
Ueda, K. and Chikayama, T.,
``Design of the Kernel Language for the Parallel Inference Machine''.
{\sl The Computer Journal}, Vol.~33, No.~6 (1990), pp.~494--500.

\item \label{KLIC}
Chikayama, T., Fujise, T. and Sekita, D.,
``A Portable and Efficient Implementation of KL1''.
In {\sl Proc. 6th Int. Symp. on
Programming Language Implementation and Logic Programming (PLILP'94)},
LNCS 844, Springer-Verlag, Berlin, 1994, pp.~25--39.

\item \label{KL1j}
$B8^==Mr9((B: $BAa0pEDBg3XM}9)3XIt>pJs3X2JB46HO@J8(B
``$BJ,;6(BKL1$B8@8l=hM}7O$N@_7W$H<BAu(B'', 1999.
\\http://www.ueda.info.waseda.ac.jp/\verb!~!igarashi/

\item \label{dklic}
$B9bLZM42p(B: $BAa0pEDBg3XM}9)3XIt>pJs3X2JB46HO@J8(B
``KL1$B$K$h$kJ,;6(BKL1$B8@8l=hM}7O$N<BAu(B'', 2000.
\\http://www.ueda.info.waseda.ac.jp/\verb!~!takagi/
\end{enumerate}

\end{document}
