diff --git a/packages/CLPBN/examples/fail1.yap b/packages/CLPBN/examples/fail1.yap
deleted file mode 100644
index 1646fd8ff..000000000
--- a/packages/CLPBN/examples/fail1.yap
+++ /dev/null
@@ -1,21 +0,0 @@
-
-:- use_module(library(pfl)).
-
-:- set_pfl_flag(solver,lve).
-%:- set_pfl_flag(solver,bp), clpbn_horus:set_horus_flag(inf_alg,ve).
-%:- set_pfl_flag(solver,bp), clpbn_horus:set_horus_flag(inf_alg,bp).
-%:- set_pfl_flag(solver,bp), clpbn_horus:set_horus_flag(inf_alg,cbp).
-
-
-t(ann).
-t(dave).
-
-% p(ann,t).
-
-markov p(X)::[t,f] ; [0.1, 0.3] ; [t(X)].
-
-% use standard Prolog queries: provide evidence first.
-
-?- p(ann,t), p(ann,X).
-% ?- p(ann,X).
-
diff --git a/packages/CLPBN/examples/fail2.yap b/packages/CLPBN/examples/fail2.yap
deleted file mode 100644
index 342cc9c52..000000000
--- a/packages/CLPBN/examples/fail2.yap
+++ /dev/null
@@ -1,21 +0,0 @@
-:- use_module(library(pfl)).
-
-:- set_solver(lve).
-%:- 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).