:- use_module(library(pfl)).

:- set_solver(hve).
%:- set_solver(ve).
%:- set_solver(jt).
%:- set_solver(bdd).
%:- set_solver(bp).
%:- set_solver(cbp).
%:- set_solver(gibbs).
%:- set_solver(lve).
%:- set_solver(lkc).
%:- set_solver(lbp).

:- multifile people/1.

people @ 5.

people(X,Y) :-
    people(X),
    people(Y),
    X \== Y.

markov smokes(X) ; [1.0, 4.0552]; [people(X)].

markov cancer(X) ; [1.0, 9.9742]; [people(X)].

markov friends(X,Y) ; [1.0, 99.48432] ; [people(X,Y)].

markov smokes(X), cancer(X) ;
    [4.48169, 4.48169, 1.0, 4.48169] ;
    [people(X)].

markov friends(X,Y), smokes(X), smokes(Y) ;
    [3.004166, 3.004166, 3.004166, 3.004166, 3.004166, 1.0, 1.0, 3.004166] ;
    [people(X,Y)].

% ?- friends(p1,p2,X).