Examples: change extension to pfl

packages/CLPBN/examples/comp_workshops.pfl

@@ -0,0 +1,33 @@
+:- use_module(library(pfl)).
+
+%:- set_solver(lve).
+%:- set_solver(hve).
+%:- set_solver(bp).
+%:- set_solver(cbp).
+
+:- yap_flag(write_strings, off).
+
+:- multifile c/2.
+
+c(p1,w1).
+c(p1,w2).
+c(p1,w3).
+c(p2,w1).
+c(p2,w2).
+c(p2,w3).
+c(p3,w1).
+c(p3,w2).
+c(p3,w3).
+c(p4,w1).
+c(p4,w2).
+c(p4,w3).
+c(p5,w1).
+c(p5,w2).
+c(p5,w3).
+
+markov attends(P)::[t,f], hot(W)::[t,f] ; [0.2, 0.8, 0.8, 0.8] ; [c(P,W)].
+
+markov attends(P)::[t,f], series::[t,f] ; [0.501, 0.499, 0.499, 0.499] ; [c(P,_)].
+
+% ?- series(X).
+