		   Dulcinea $B%f!<%6!&%$%s%?%U%'!<%9(B

1.$B$O$8$a$K(B

$BN)O@%F%-%9%H@8@.%7%9%F%`(B Dulcinea $B$rA`:n$9$k$?$a$N%3%^%s%I$K$D$$$F2r@b(B
$B$7$^$9!#$3$3$G$O(B PIMOS $B$N6!5k$9$k(B Listener $B$+$i$N%3%^%s%IA`:nK!$r5-=R(B
$B$7$^$9$,!"$3$l$i$N%3%^%s%I$K$h$kA`:n$O(B SIMPOS$B%&%$%s%I%&(BIF$BHG$d(B Motif$B%&(B
$B%$%s%I%&(BIF$BHG$G$bF1MM$K<B9T2DG=$G$9!#$*$N$*$N$N%&%$%s%I%&(BIF$BHG$G$O99$KFH(B
$B<+$N%a%K%e!<!&%Y!<%9$N%$%s%?%U%'!<%9$r6!5k$7$F$$$^$9$,!"$=$l$i$b:G=*E*(B
$B$K$O!"$3$3$G=R$Y$k%3%^%s%I$r8F$S=P$9$3$H$G<B8=$5$l$F$$$^$9!#(B

2.$B5/F0K!(B

PIMOS$B%7%9%F%`$r5/F0$7$?$i!"%+%l%s%H!&%G%#%l%/%H%j$r(B dulcinea.com $B$N$"(B
$B$k%G%#%l%/%H%j$K0\$7$^$9!#<!$K(B listener $B$+$i(B dulcinea.com $B$r(B take $B$7$F(B 
Dulcinea $B%7%9%F%`$r%m!<%I$7$^$9!#$=$7$F(B listener $B$+$i(B dul::dul:main
($B$^$?$O(B dul$B$N$_(B)$B$rF~NO$9$k$H(B listener$BHG(B Dulcinea $B%7%9%F%`$O5/F0$5$l$^(B
$B$9!#(B

3.$B=i4|2=%U%!%$%k(B

$BN)$A>e$2;~(B($B$H%$%K%7%c%i%$%:;~(B)$B$K%7%9%F%`$O!"%+%l%s%H!&%G%#%l%/%H%j$K(B 
dul.init $B$H$$$&%U%!%$%k$,$"$l$P$=$NFbMF$r<+F0E*$K(B take $B$9$k$N$G!"%f!<(B
$B%6$ON)$A>e$2D>8e$+$iFH<+$N@_Dj$G;HMQ$G$-$^$9!#(B

4.$B%3%^%s%I2r@b(B

$B0J2<$K%3%^%s%I$r<($7$^$9!%(B

$B!&(Bq/quit
	Dulcinea $B%7%9%F%`$r=*N;$9$k(B

$B!&(Bh/help
	$B%3%^%s%I0lMw$rI=<($9$k(B

$B!&(Binit
	Dulcinea $B%7%9%F%`$r=i4|2=$9$k!#=i4|2=%U%!%$%k$,%+%l%s%H!&%G%#(B
	$B%l%/%H%j$KB8:_$9$l$P$=$l$bFI$_9~$`(B

$B!&(Bset(A,B)
	$B%7%9%F%`!&%Q%i%a!<%?(B A $B$NCM$r(B B $B$K%;%C%H$9$k(B

$B!&(Bsset(A,B)
	$B%;%C%H;~$K%(%3!<%P%C%/$r9T$J$o$J$$E@0J30$O(B set(A,B) $B$KF1$8(B

$B!&(Bst[(A)]
	$B%7%9%F%`!&%Q%i%a!<%?(B A $B$NCM$rI=<($9$k!#>JN,;~$OA4$F$N%Q%i%a!<%?(B
	$B$NCM$rI=<($9$k(B

$B!&(Bdom(Name)/domain(Name)
	$BN)O@$NBP>]%I%a%$%s$r(B Name $B$K@_Dj$9$k(B
	Name=house,labor,medicine,sports,traffic,whale,dul $B$N$$$:$l$+(B

$B!&(Bgl
	$B8=:_BP>]$H$J$C$F$$$k%I%a%$%s$K%;%C%H$5$l$F$$$k%4!<%k$N0lMw$r(B
	$BI=<($9$k!#%;%C%H$5$l$F$$$k%4!<%k$O?.G0%G!<%?%Y!<%9$HF1$8%l%Y%k(B
	$B$K$"$k(B "$B%I%a%$%sL>(B.goa" $B$H$$$&%U%!%$%k$K=q$+$l$F$$$k(B

$B!&(Bgen(Num[,M]): M=rosi,soc1,soc2,sancho
	Num $B$G;XDj$5$l$?HV9f$N%4!<%k$r<B9T$9$k!#Fs0z?tL\$,>JN,$5$l$?(B
	$B>l9g$OA4$F$N%b%8%e!<%k$r<B9T$7N)O@J8>O$r@8@.$9$k!#Fs0z?tL\$,(B
	$B;XDj$5$l$?>l9g$O$=$N%b%8%e!<%k$^$G$r<B9T$7!"7k2L$rI=<($9$k(B

$B!&(Bgoal(Goal[,M])
	Goal $B$G;XDj$5$l$?%4!<%k$r<B9T$9$k!#Fs0z?tL\$N0UL#$O(B gen $B%3%^(B
	$B%s%I$r;2>H(B

$B!&(Bexec(M)
	$BD>A0$K<B9T$5$l$?%G!<%?$r;H$C$F!"%b%8%e!<%k(B M $B$r<B9T$9$k(B

$B!&(Bshow(D): D=goal,belief,graph,fts,sancho,sout,text
	$BD>A0$K<B9T$5$l$?%G!<%?$rI=<($9$k(B

$B!&(Bnormal/verbose
	$B<B9T%b!<%I$N@_Dj!#(Bnormal$B$G$O<B9T;~$KFbIt>pJs$r2?$bJs9p$7$J$$(B

$B!&(Bsoc1/soc2/sancho
	$B$=$l$>$l(B exec(soc1), exec(soc2), exec(sancho) $B$KF1$8(B

$B!&(Bpd(Dep)
$B!&(Bpl(Len)
$B!&(Bpdl(Dep,Len)
	$BI=<(%G!<%?$N?<$5$HD9$5$r@_Dj$9$k(B

$B!&(Bpara(FLG): FLG=on,off
	$BJBNs<B9T%U%i%0(B

$B!&(Bm/me/mad/made
	$BN)O@FbMF@8@.It(B Rosinante $B$N<B9T%b!<%I@_Dj!#(B
	m:$BK\O@$N$_(B
	me:$BK\O@(B+$B<BNc(B
	mad:$BK\O@(B+$BH?O@$X$NHcH=(B
	made:$BK\O@(B+$B<BNc(B+$BH?O@$X$NHcH=(B

$B!&(Bpickn(Num)
	soc1 $B$K$*$$$FF~NO$5$l$?%0%i%U$N$&$AA*Br$5$l$k%0%i%U$NHV9f!#(B
	$B;XDj$5$l$?CM$h$j%0%i%U$,>.$5$+$C$?>l9g$O:G8e$N%0%i%U$,A*Br(B
	$B$5$l$k!#%G%U%)%k%H$O(B1

$B!&(Border(P,Ord): P=toplev,antid,reason
	soc1 $B$K$*$$$F@_Dj$9$k=g=x@)Ls$r;XDj$9$k(B
	toplev: $B%H%C%W%l%Y%k$N(B thesis $B$H(B reason $B$N=g=x(B
	antid: anti_deny $BCf$N(B thesis, reason, anti_t, exampl $B$N=g=x(B
	reason: $BN)O@%V%m%C%/$N(B main, anti_deny $B$N=g=x(B

$B!&(Btake(File)
	$B%3%^%s%I!&%U%!%$%k$N<B9T(B


5.$B%7%9%F%`!&%Q%i%a!<%?(B

Dulcinea $B$G;HMQ$9$k%Q%i%a!<%?$OF,$K(B{dul,bel,rosi,soc1,soc2,sancho}$B$N$$(B
$B$:$l$+$,$D$-$^$9!#%7%9%F%`!&%Q%i%a!<%?$NKX$s$I$O>e5-%3%^%s%I$+$i4V@\E*(B
$B$KA`:n$7$F$^$9!#0J2<$G$O$=$l0J30$N%Q%i%a!<%?$G%f!<%6$,JQ99$9$k2DG=@-$N(B
$B9b$$$b$N$r@bL@$7$^$9!%(B

$B!&(Bsancho:flush
	$B@8@.$5$l$kN)O@J8>O$N(B flush $B$N%?%$%_%s%0$rJQ$($k!#(Bflush=token
	$B$@$HI=<($,CY$/$J$k$N$KCm0U(B
	flush=token: $B:G>.C10L$GI=<((B
	flush=phrase: $B6gFIE@$N%?%$%_%s%0$GI=<((B
	flush=sentence: $B0lJ8C10L$GI=<((B
	flush=full: $B%Q%i%0%i%UA4BN$r0lEY$KI=<((B

$B!&(Bbel:dir
	$B?.G0%G!<%?%Y!<%9$N$"$k%G%#%l%/%H%jL>!#%+%l%s%H!&%G%#%l%/%H%j(B
	$B$ND>2<$+$i;O$^$k%Q%9$r;XDj$9$k(B

$B!&(Bsoc1:pplev
	FTS$B$rI=<($9$k;~$N%i%Y%kL>$ND9$5(B

$B!&(Bsoc1:pmode
	half $B$G(BFTS$B$N$_$r!"(Bfull $B$G(BFTS+$B=g=x!&0zNO@)Ls$rI=<($9$k(B

6.$B?.G0%G!<%?%Y!<%9(B

$B?.G0%G!<%?%Y!<%9$O!$%G%#%l%/%H%j(B Bel $B$N2<$N(B *.bel $B$H$$$&3HD%;R$N%U%!%$(B
$B%k$G$9!%(Bhouse,labor,medicine,sports,traffic,whale,dul $B$N(B7$B<oN`$,$"$j$^(B
$B$9!%$3$N$&$A!$(Bdul $B$OB>$N(B6$B$D$rA4It9g$o$;$F<c43=$@5$7$?$b$N$G$9!%?.G0%G!<(B
$B%?%Y!<%9$O%f!<%6$,JQ99$9$k$3$H$,$G$-$^$9!%0J2<$K$=$N<j=g$r<($7$^$9!%(B

1) foo.bel $B$r%(%G%#%C%H$9$k(B
2) listener $B$G!$(Bdfp bel ; cd"Bel" ; bcomp:compile("foo.bel"). $B$r<B9T$9$k!%(B
   $B%3%s%Q%$%k$K$O?tJ,$+$+$k!%(B
3) compile("foo.kl1") $B$r<B9T$9$k(B
4) relink:package ; dfp rosi ; relink:package ; dfp dul ;
	relink:package ; cd"..".  $B$r<B9T$9$k(B

7$B!%N)O@%4!<%k(B

$BN)O@%4!<%k$O!$%G%#%l%/%H%j(B Bel $B$N2<$N(B *.goa $B$H$$$&3HD%;R$N%U%!%$%k$G$9!%(B
$B%I%a%$%sKh$K%U%!%$%k$KJ,$1$F$"$j!$(Bdom(DOMAIN) $B%3%^%s%I$G%I%a%$%s$r;XDj(B
$B$9$k$H<+F0E*$KFI$_9~$^$l$^$9!%3F%I%a%$%sKh$K(B6$B8D$^$?$O(B12$B8D$N%4!<%k$,$"(B
$B$j$^$9!%$3$l$O!$0l$D$N%F!<%^$K$D$$$F!$(Bmust(X),hb(X),may(X) $B$H$=$l$>$l(B
$B$NH]Dj$N9g$o$;$F(B6$B<oN`$N%4!<%k$,9M$($i$l$k$+$i$G$9!%(B

8$B!%(Bsoc2 $B%Q%i%a!<%?$N@_Dj(B

$BJ8>O9=B$@8@.It$K$*$1$kJ8>O9=B$I>2A4p=`%Q%i%a!<%?$rJQ$($k$H$5$^$6$^$JJ8(B
$B>O$,@8@.$G$-$^$9!%%U%!%$%k(B para0 $B$O8=:_!$:GE,$H;W$o$l$k%Q%i%a!<%?$N%;%C(B
$B%H$G!$$3$N%U%!%$%k$r(B take $B$9$l$P:G$bNI$$$H;W$o$l$kJ8>O$,@8@.$G$-$^$9!%(B
dul.ini $B$K$h$C$F@_Dj$5$l$k=i4|>uBV$O!$$3$N>uBV$K$J$C$F$$$^$9!%%U%!%$%k(B
para1 $B$O(B FGCS $B$N%G%b$G;HMQ$7$?$b$N$G!$$3$N%U%!%$%k$r(Btake $B$9$l$P!$$o$6(B
$B$H0-$$9=B$$NJ8>O$r@8@.$G$-$^$9!%(B


