diff --git a/packages/CLPBN/clpbn/bp/examples/fail2.yap b/packages/CLPBN/clpbn/bp/examples/fail2.yap
index 84669ba4f..f2fdafeb1 100644
--- a/packages/CLPBN/clpbn/bp/examples/fail2.yap
+++ b/packages/CLPBN/clpbn/bp/examples/fail2.yap
@@ -10,6 +10,7 @@ t(dave).
 bayes p(X)::[t,f] ; [0.1, 0.3] ; [t(X)].
 
 
-?- p(ann,X), p(ann,f).
+% use standard Prolog queries: provide evidence first.
+?-  p(ann,f), p(ann,X).
 
 
diff --git a/packages/CLPBN/clpbn/bp/examples/fail3.yap b/packages/CLPBN/clpbn/bp/examples/fail3.yap
index afd65861d..ba711daf5 100644
--- a/packages/CLPBN/clpbn/bp/examples/fail3.yap
+++ b/packages/CLPBN/clpbn/bp/examples/fail3.yap
@@ -9,10 +9,8 @@ t(dave).
 
 bayes p(X)::[t,f] ; [0.1, 0.3] ; [t(X)].
 
-
 p(ann,t).
 
-
 ?- p(dave,X).
 
 
diff --git a/packages/CLPBN/clpbn/bp/examples/markov.yap b/packages/CLPBN/clpbn/bp/examples/markov.yap
new file mode 100644
index 000000000..64e32c0ef
--- /dev/null
+++ b/packages/CLPBN/clpbn/bp/examples/markov.yap
@@ -0,0 +1,23 @@
+
+:- use_module(library(pfl)).
+
+:- set_clpbn_flag(solver,fove).
+
+t(ann).
+t(dave).
+t(lucy).
+t(john).
+t(kristian).
+t(sriraam).
+
+markov p(X)::[t,f] ; [0.1, 0.3] ; [t(X)].
+
+markov q(X)::[t,f], r(X)::[t,f] ; [0.9, 0.5, 0.5, 0.1] ; [t(X)].
+
+markov q(X)::[t,f], p(X)::[t,f] ; [0.9, 0.5, 0.5, 0.1] ; [t(X)].
+
+p(ann,t).
+
+?- p(dave,X).
+
+