SICStus 3.7.1 (Windows_NT-4-586): Tue Oct 06 19:48:56 1998
Licensed to cs.ubc.ca
| ?- {compiling c:/david/res/ICL/code_icl/icl_int.tex...}
{c:/david/res/ICL/code_icl/icl_int.tex compiled, 500 msec 57140 bytes}

yes
| ?- thconsult('c:/david/res/law/example.pl').
ICL theory c:/david/res/law/example.pl consulted.

yes
| ?- depth(1.0e-4).

yes
| ?- explain(observed).

Prob( observed | [] ) in [0,0.0001535408354245].
Runtime: 0 msec.

yes
| ?- depth(1.0e-8).

yes
| ?- explain(observed).

Prob( observed | [] ) in [0,3.044815457520044e-008].
Runtime: 0 msec.

yes
| ?- depth(1.0e-10).

yes
| ?- explain(observed).

Prob( observed | [] ) in [0,6.756300313371269e-010].
Runtime: 0 msec.

yes
| ?- depth(1.0e-12).

yes
| ?- explain(observed).

Prob( observed | [] ) in [0,1.9906222513657414e-011].
Runtime: 110 msec.

yes
| ?- depth(1.0e-14).

yes
| ?- explain(observed).

Prob( observed | [] ) in [0,5.980123780863067e-013].
Runtime: 270 msec.

yes
| ?- depth(1.0e-16).

yes
| ?- explain(observed).

Prob( observed | [] ) in [0,1.535727872529373e-014].
Runtime: 610 msec.

yes
| ?- depth(1.0e-18).

yes
| ?- explain(observed).

Prob( observed | [] ) in [0,3.163384423465786e-016].
Runtime: 1540 msec.

yes
| ?-  depth(1.0e-20).

yes
| ?- explain(observed).

***** Explanation 0 of observed given []:
[truthful_h(peter,says(newspaper,disappeared(harry))),relevant(peter,says(newspaper,disappeared(harry))),notmistaken_t(peter,says(newspaper,disappeared(harry))),truthful_h(newspaper,disappeared(harry)),honest(newspaper),relevant(newspaper,disappeared(harry)),notmistaken_t(newspaper,disappeared(harry)),disappeared_when_criminal(harry),truthful_h(peter,says(doctor,shot(peter))),relevant(peter,says(doctor,shot(peter))),notmistaken_t(peter,says(doctor,shot(peter))),truthful_h(doctor,shot(peter)),honest(doctor),relevant(doctor,shot(peter)),notmistaken_t(doctor,shot(peter)),actually_shot(harry,peter),vicious_sob_shot(harry,peter),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),picture_taken(peter),truthful_h(peter,vicious_sob(harry)),relevant(peter,vicious_sob(harry)),notmistaken_t(peter,vicious_sob(harry)),just_true(vicious_sob(harry)),truthful_h(peter,clerk_at(harry,hvstore)),relevant(peter,clerk_at(harry,hvstore)),notmistaken_t(peter,clerk_at(harry,hvstore)),just_true(clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),honest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 1.5891280345811427e-020

***** Explanation 1 of observed given []:
[untruthful_h(peter,says(newspaper,disappeared(harry))),untruthful_h(peter,says(doctor,shot(peter))),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),picture_taken(peter),truthful_h(peter,vicious_sob(harry)),relevant(peter,vicious_sob(harry)),notmistaken_t(peter,vicious_sob(harry)),just_true(vicious_sob(harry)),truthful_h(peter,clerk_at(harry,hvstore)),relevant(peter,clerk_at(harry,hvstore)),notmistaken_t(peter,clerk_at(harry,hvstore)),just_true(clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),honest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 1.7270198790118614e-020

***** Explanation 2 of observed given []:
[truthful_h(peter,says(newspaper,disappeared(harry))),relevant(peter,says(newspaper,disappeared(harry))),notmistaken_t(peter,says(newspaper,disappeared(harry))),truthful_h(newspaper,disappeared(harry)),honest(newspaper),relevant(newspaper,disappeared(harry)),notmistaken_t(newspaper,disappeared(harry)),disappeared_when_criminal(harry),truthful_h(peter,says(doctor,shot(peter))),relevant(peter,says(doctor,shot(peter))),notmistaken_t(peter,says(doctor,shot(peter))),truthful_h(doctor,shot(peter)),honest(doctor),relevant(doctor,shot(peter)),notmistaken_t(doctor,shot(peter)),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),actually_shot(harry,peter),vicious_sob_shot(harry,peter),truthful_h(peter,vicious_sob(harry)),relevant(peter,vicious_sob(harry)),notmistaken_t(peter,vicious_sob(harry)),just_true(vicious_sob(harry)),truthful_h(peter,clerk_at(harry,hvstore)),relevant(peter,clerk_at(harry,hvstore)),notmistaken_t(peter,clerk_at(harry,hvstore)),just_true(clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),honest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 2.648546724301903e-019

***** Explanation 3 of observed given []:
[truthful_h(peter,says(newspaper,disappeared(harry))),relevant(peter,says(newspaper,disappeared(harry))),notmistaken_t(peter,says(newspaper,disappeared(harry))),truthful_h(newspaper,disappeared(harry)),honest(newspaper),relevant(newspaper,disappeared(harry)),notmistaken_t(newspaper,disappeared(harry)),just_true(wentto(harry,hvstore)),disappeared_when_criminal(harry),truthful_h(peter,says(doctor,shot(peter))),relevant(peter,says(doctor,shot(peter))),notmistaken_t(peter,says(doctor,shot(peter))),truthful_h(doctor,shot(peter)),honest(doctor),relevant(doctor,shot(peter)),notmistaken_t(doctor,shot(peter)),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),actually_shot(harry,peter),vicious_sob_shot(harry,peter),truthful_h(peter,vicious_sob(harry)),relevant(peter,vicious_sob(harry)),notmistaken_t(peter,vicious_sob(harry)),just_true(vicious_sob(harry)),truthful_h(peter,clerk_at(harry,hvstore)),relevant(peter,clerk_at(harry,hvstore)),notmistaken_t(peter,clerk_at(harry,hvstore)),just_true(clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),honest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 1.3242733621509517e-020

***** Explanation 4 of observed given []:
[untruthful_h(peter,says(newspaper,disappeared(harry))),truthful_h(peter,says(doctor,shot(peter))),relevant(peter,says(doctor,shot(peter))),notmistaken_t(peter,says(doctor,shot(peter))),truthful_h(doctor,shot(peter)),honest(doctor),relevant(doctor,shot(peter)),notmistaken_t(doctor,shot(peter)),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),actually_shot(harry,peter),vicious_sob_shot(harry,peter),truthful_h(peter,vicious_sob(harry)),relevant(peter,vicious_sob(harry)),notmistaken_t(peter,vicious_sob(harry)),just_true(vicious_sob(harry)),truthful_h(peter,clerk_at(harry,hvstore)),relevant(peter,clerk_at(harry,hvstore)),notmistaken_t(peter,clerk_at(harry,hvstore)),just_true(clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),honest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 1.380533236857099e-020

***** Explanation 5 of observed given []:
[truthful_h(peter,says(newspaper,disappeared(harry))),relevant(peter,says(newspaper,disappeared(harry))),notmistaken_t(peter,says(newspaper,disappeared(harry))),truthful_h(newspaper,disappeared(harry)),honest(newspaper),relevant(newspaper,disappeared(harry)),notmistaken_t(newspaper,disappeared(harry)),disappeared_when_criminal(harry),untruthful_h(peter,says(doctor,shot(peter))),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),actually_shot(harry,peter),vicious_sob_shot(harry,peter),truthful_h(peter,vicious_sob(harry)),relevant(peter,vicious_sob(harry)),notmistaken_t(peter,vicious_sob(harry)),just_true(vicious_sob(harry)),truthful_h(peter,clerk_at(harry,hvstore)),relevant(peter,clerk_at(harry,hvstore)),notmistaken_t(peter,clerk_at(harry,hvstore)),just_true(clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),honest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 1.1044265894856795e-020

***** Explanation 6 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),picture_taken(peter),untruthful_d(peter,vicious_sob(harry)),truthful_h(peter,clerk_at(harry,hvstore)),relevant(peter,clerk_at(harry,hvstore)),notmistaken_t(peter,clerk_at(harry,hvstore)),just_true(clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),dishonest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 2.822729011904457e-020

***** Explanation 7 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),untruthful_d(peter,observed(peter,blinding_flash)),untruthful_d(peter,vicious_sob(harry)),truthful_h(peter,clerk_at(harry,hvstore)),relevant(peter,clerk_at(harry,hvstore)),notmistaken_t(peter,clerk_at(harry,hvstore)),just_true(clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),dishonest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 1.9204158592080007e-020

***** Explanation 8 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),picture_taken(peter),truthful_h(peter,vicious_sob(harry)),relevant(peter,vicious_sob(harry)),notmistaken_t(peter,vicious_sob(harry)),just_true(vicious_sob(harry)),untruthful_d(peter,clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),dishonest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 2.822729011904457e-020

***** Explanation 9 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),untruthful_d(peter,observed(peter,blinding_flash)),truthful_h(peter,vicious_sob(harry)),relevant(peter,vicious_sob(harry)),notmistaken_t(peter,vicious_sob(harry)),just_true(vicious_sob(harry)),untruthful_d(peter,clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),dishonest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 1.9204158592080007e-020

***** Explanation 10 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),picture_taken(peter),untruthful_d(peter,vicious_sob(harry)),untruthful_d(peter,clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),dishonest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 1.1522495155248003e-019

***** Explanation 11 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),untruthful_d(peter,observed(peter,blinding_flash)),untruthful_d(peter,vicious_sob(harry)),untruthful_d(peter,clerk_at(harry,hvstore)),truthful_h(peter,wentto(peter,hvstore)),dishonest(peter),relevant(peter,wentto(peter,hvstore)),notmistaken_t(peter,wentto(peter,hvstore)),just_true(wentto(peter,hvstore))]
Prior = 7.839216000000002e-020

***** Explanation 12 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),picture_taken(peter),untruthful_d(peter,vicious_sob(harry)),truthful_h(peter,clerk_at(harry,hvstore)),relevant(peter,clerk_at(harry,hvstore)),notmistaken_t(peter,clerk_at(harry,hvstore)),just_true(clerk_at(harry,hvstore)),untruthful_d(peter,wentto(peter,hvstore)),dishonest(peter)]
Prior = 2.3044990310496003e-020

***** Explanation 13 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),untruthful_d(peter,observed(peter,blinding_flash)),untruthful_d(peter,vicious_sob(harry)),truthful_h(peter,clerk_at(harry,hvstore)),relevant(peter,clerk_at(harry,hvstore)),notmistaken_t(peter,clerk_at(harry,hvstore)),just_true(clerk_at(harry,hvstore)),untruthful_d(peter,wentto(peter,hvstore)),dishonest(peter)]
Prior = 1.5678432e-020

***** Explanation 14 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),picture_taken(peter),truthful_h(peter,vicious_sob(harry)),relevant(peter,vicious_sob(harry)),notmistaken_t(peter,vicious_sob(harry)),just_true(vicious_sob(harry)),untruthful_d(peter,clerk_at(harry,hvstore)),untruthful_d(peter,wentto(peter,hvstore)),dishonest(peter)]
Prior = 2.3044990310496003e-020

***** Explanation 15 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),untruthful_d(peter,observed(peter,blinding_flash)),truthful_h(peter,vicious_sob(harry)),relevant(peter,vicious_sob(harry)),notmistaken_t(peter,vicious_sob(harry)),just_true(vicious_sob(harry)),untruthful_d(peter,clerk_at(harry,hvstore)),untruthful_d(peter,wentto(peter,hvstore)),dishonest(peter)]
Prior = 1.5678432e-020

***** Explanation 16 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),truthful_h(peter,observed(peter,blinding_flash)),relevant(peter,observed(peter,blinding_flash)),notmistaken_t(peter,observed(peter,blinding_flash)),picture_taken(peter),untruthful_d(peter,vicious_sob(harry)),untruthful_d(peter,clerk_at(harry,hvstore)),untruthful_d(peter,wentto(peter,hvstore)),dishonest(peter)]
Prior = 9.407059200000004e-020

***** Explanation 17 of observed given []:
[untruthful_d(peter,says(newspaper,disappeared(harry))),untruthful_d(peter,says(doctor,shot(peter))),untruthful_d(peter,observed(peter,blinding_flash)),untruthful_d(peter,vicious_sob(harry)),untruthful_d(peter,clerk_at(harry,hvstore)),untruthful_d(peter,wentto(peter,hvstore)),dishonest(peter)]
Prior = 6.400000000000002e-020

Prob( observed | [] ) in [8.601059290467789e-019,8.25432560025777e-018].]
Runtime: 4230 msec.

yes
| ?- halt.