22 lines
371 B
Plaintext
22 lines
371 B
Plaintext
|
:- use_module(library(pfl)).
|
||
|
|
|
||
|
|
:- set_solver(fove).
|
||
|
|
%:- set_solver(hve).
|
||
|
|
%:- set_solver(bp).
|
||
|
|
%:- set_solver(cbp).
|
||
|
|
|
||
|
|
:- yap_flag(write_strings, off).
|
||
|
|
|
||
|
|
:- clpbn_horus:set_horus_flag(verbosity,5).
|
||
|
|
|
||
|
|
people(p1,p1).
|
||
|
|
people(p1,p2).
|
||
|
|
people(p2,p1).
|
||
|
|
people(p2,p2).
|
||
|
|
|
||
|
|
markov p(A,A)::[t,f] ; [1.0,4.5] ; [people(A,_)].
|
||
|
|
|
||
|
|
markov p(A,B)::[t,f] ; [1.0,4.5] ; [people(A,B)].
|
||
|
|
|
||
|
|
?- p(p1,p1,X).
|