深堀裕香 法学部法律学科３年L組

%%H 望む推論結果が出ているようですね。しかし、listingの出力結果がないので、ルールとファクトの全体が見えません。listingのログも貼り付けて下さい。ちなみに、下記のconsultのログ(in line 45）に示さされているように、一部シンタックスエラーがあるようです。
%%H 3b, 3cについてのログもとって、これまでの全部の事例について、一つのファイル内に示して提出して下さい。また3f以下にもチャレンジして下さい。期待しています

SICStus 3.12.7 (x86-win32-nt-4): Fri Oct  6 00:15:14 WEST 2006
Licensed to mita.cc.keio.ac.jp
| ?- ['contract(3d-fukahori).txt'].
% consulting h:/contract(3d-fukahori).txt...
% Undefined predicates will just fail (fail)
* [T2] - singleton variables in user:become_effective/2
* Approximate lines: 8-13, file: 'h:/contract(3d-fukahori).txt'
* [T1,T3,T4] - singleton variables in user:become_effective/2
* Approximate lines: 25-32, file: 'h:/contract(3d-fukahori).txt'
* clauses for user:become_effective/2 are not together
* Approximate lines: 25-32, file: 'h:/contract(3d-fukahori).txt'
! Syntax error
! operator expected after expression
! in line 45
! before ( A , B ) :- A @< B
! <<here>>                        %%H ここに芯タックエラーが出ています。
! reach ( revocation ( anzai , bernard , offer ( anzai , bernard , sale ( agricu
lture_machine , '$50000' ) ) ) , bernard , t0409 ) .
! Approximate lines: 32-46, file: 'h:/contract(3d-fukahori).txt'
! Syntax error
! , or ) expected in arguments
! in line 52
! reach ( withdrawl ( anzai , bernard , offer ( anzai , bernard , sale ( agricul
ture_machine , '$50000' ) ) , bernard , t0411 )
! <<here>>
! .
! Approximate lines: 49-53, file: 'h:/contract(3d-fukahori).txt'
* clauses for user:reach/3 are not together
* Approximate lines: 49-54, file: 'h:/contract(3d-fukahori).txt'
* clauses for user:dispatch/3 are not together
* Approximate lines: 55-56, file: 'h:/contract(3d-fukahori).txt'
% consulted h:/contract(3d-fukahori).txt in module user, 0 msec 3400 bytes


事例問題３ｄの推論結果
| ?- ['contract(3d-fukahori).txt'].
% consulting h:/contract(3d-fukahori).txt...
% Undefined predicates will just fail (fail)
* [T2] - singleton variables in user:become_effective/2
* Approximate lines: 8-13, file: 'h:/contract(3d-fukahori).txt'
* [D] - singleton variables in user:become_effective/3
* Approximate lines: 18-23, file: 'h:/contract(3d-fukahori).txt'
* [T1,T3,T4] - singleton variables in user:become_effective/2
* Approximate lines: 23-30, file: 'h:/contract(3d-fukahori).txt'
* clauses for user:become_effective/2 are not together
* Approximate lines: 23-30, file: 'h:/contract(3d-fukahori).txt'
% consulted h:/contract(3d-fukahori).txt in module user, 0 msec -80 bytes
yes
% trace
| ?- is_concluded(X,Y).
        1      1 Call: is_concluded(_463,_483) ?
        2      2 Call: become_effective(acceptance(_1106,_1105,offer(_1105,_1106
,_1107)),_483) ?
        3      3 Call: become_effective(offer(_1105,_1106,_1790),_1793) ?
        4      4 Call: reach(offer(_1105,_1106,_1790),_1106,_1793) ?
        4      4 Exit: reach(offer(anzai,bernard,sale(agriculture_machine,'$5000
0')),bernard,t0408) ?
        5      4 Call: become_effective(withdrawl(anzai,bernard,offer(anzai,bern
ard,sale(agriculture_machine,'$50000'))),bernard,_2534) ?
        6      5 Call: reach(withdrawl(anzai,bernard,offer(anzai,bernard,sale(ag
riculture_machine,'$50000'))),bernard,_2534) ?
        6      5 Fail: reach(withdrawl(anzai,bernard,offer(anzai,bernard,sale(ag
riculture_machine,'$50000'))),bernard,_2534) ?
        5      4 Fail: become_effective(withdrawl(anzai,bernard,offer(anzai,bern
ard,sale(agriculture_machine,'$50000'))),bernard,_2534) ?
        3      3 Exit: become_effective(offer(anzai,bernard,sale(agriculture_mac
hine,'$50000')),t0408) ?
        7      3 Call: become_effective(revocation(anzai,bernard,offer(anzai,ber
nard,sale(agriculture_machine,'$50000'))),bernard,_1781) ?
        8      4 Call: reach(revocation(anzai,bernard,offer(anzai,bernard,sale(a
griculture_machine,'$50000'))),bernard,_1781) ?
        8      4 Exit: reach(revocation(anzai,bernard,offer(anzai,bernard,sale(a
griculture_machine,'$50000'))),bernard,t0409) ?
        9      4 Call: dispatch(acceptance(bernard,anzai,_5329),anzai,_5333) ?
        9      4 Exit: dispatch(acceptance(bernard,anzai,offer(anzai,bernard,sal
e(agriculture_machine,'$50000'))),anzai,t0410) ?
       10      4 Call: before(t0410,t0409) ?
       11      5 Call: t0410@<t0409 ?
       11      5 Fail: t0410@<t0409 ?
       10      4 Fail: before(t0410,t0409) ?
        7      3 Exit: become_effective(revocation(anzai,bernard,offer(anzai,ber
nard,sale(agriculture_machine,'$50000'))),bernard,t0409) ?
        2      2 Fail: become_effective(acceptance(_1106,_1105,offer(_1105,_1106
,_1107)),_483) ?
        1      1 Fail: is_concluded(_463,_483) ?
no

事例問題３eの推論結果
% trace
| ?- ['contract(3d-fukahori).txt'].
% consulting h:/contract(3d-fukahori).txt...
% Undefined predicates will just fail (fail)
* [T2] - singleton variables in user:become_effective/2
* Approximate lines: 8-13, file: 'h:/contract(3d-fukahori).txt'
* [D] - singleton variables in user:become_effective/3
* Approximate lines: 18-23, file: 'h:/contract(3d-fukahori).txt'
* [T1,T3,T4] - singleton variables in user:become_effective/2
* Approximate lines: 23-30, file: 'h:/contract(3d-fukahori).txt'
* clauses for user:become_effective/2 are not together
* Approximate lines: 23-30, file: 'h:/contract(3d-fukahori).txt'
* clauses for user:reach/3 are not together
* Approximate lines: 55-56, file: 'h:/contract(3d-fukahori).txt'
% consulted h:/contract(3d-fukahori).txt in module user, 0 msec 64 bytes
yes
% trace
| ?- is_concluded(X,Y).
        1      1 Call: is_concluded(_463,_483) ?
        2      2 Call: become_effective(acceptance(_1106,_1105,offer(_1105,_1106
,_1107)),_483) ?
        3      3 Call: become_effective(offer(_1105,_1106,_1790),_1793) ?
        4      4 Call: reach(offer(_1105,_1106,_1790),_1106,_1793) ?
        4      4 Exit: reach(offer(anzai,bernard,sale(agriculture_machine,'$5000
0')),bernard,t0408) ?
        5      4 Call: become_effective(withdrawl(anzai,bernard,offer(anzai,bern
ard,sale(agriculture_machine,'$50000'))),bernard,_2534) ?
        6      5 Call: reach(withdrawl(anzai,bernard,offer(anzai,bernard,sale(ag
riculture_machine,'$50000'))),bernard,_2534) ?
        6      5 Exit: reach(withdrawl(anzai,bernard,offer(anzai,bernard,sale(ag
riculture_machine,'$50000'))),bernard,t0411) ?
        7      5 Call: reach(offer(anzai,bernard,sale(agriculture_machine,'$5000
0')),bernard,_4587) ?
        7      5 Exit: reach(offer(anzai,bernard,sale(agriculture_machine,'$5000
0')),bernard,t0408) ?
        8      5 Call: t0408@<t0411 ?
        8      5 Exit: t0408@<t0411 ?
        5      4 Fail: become_effective(withdrawl(anzai,bernard,offer(anzai,bern
ard,sale(agriculture_machine,'$50000'))),bernard,_2534) ?
        3      3 Exit: become_effective(offer(anzai,bernard,sale(agriculture_mac
hine,'$50000')),t0408) ?
        9      3 Call: become_effective(revocation(anzai,bernard,offer(anzai,ber
nard,sale(agriculture_machine,'$50000'))),bernard,_1781) ?
       10      4 Call: reach(revocation(anzai,bernard,offer(anzai,bernard,sale(a
griculture_machine,'$50000'))),bernard,_1781) ?
       10      4 Exit: reach(revocation(anzai,bernard,offer(anzai,bernard,sale(a
griculture_machine,'$50000'))),bernard,t0411) ?
       11      4 Call: dispatch(acceptance(bernard,anzai,_5329),anzai,_5333) ?
       11      4 Exit: dispatch(acceptance(bernard,anzai,offer(anzai,bernard,sal
e(agriculture_machine,'$50000'))),anzai,t0410) ?
       12      4 Call: before(t0410,t0411) ?
       13      5 Call: t0410@<t0411 ?
       13      5 Exit: t0410@<t0411 ?
       12      4 Exit: before(t0410,t0411) ?
        9      3 Fail: become_effective(revocation(anzai,bernard,offer(anzai,ber
nard,sale(agriculture_machine,'$50000'))),bernard,_1781) ?
       14      3 Call: dispatch(acceptance(bernard,anzai,offer(anzai,bernard,_11
07)),anzai,_1766) ?
       14      3 Exit: dispatch(acceptance(bernard,anzai,offer(anzai,bernard,sal
e(agriculture_machine,'$50000'))),anzai,t0410) ?
       15      3 Call: reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(a
griculture_machine,'$50000'))),anzai,_483) ?
       15      3 Exit: reach(acceptance(bernard,anzai,offer(anzai,bernard,sale(a
griculture_machine,'$50000'))),anzai,t0410) ?
        2      2 Exit: become_effective(acceptance(bernard,anzai,offer(anzai,ber
nard,sale(agriculture_machine,'$50000'))),t0410) ?
        1      1 Exit: is_concluded(contract(anzai,bernard,sale(agriculture_mach
ine,'$50000')),t0410) ?
X = contract(anzai,bernard,sale(agriculture_machine,'$50000')),
Y = t0410 ?
yes