renamed

es.cpl into es.cpl
esapprox.cpl into exapprox.cpl
esrange.cpl into exrange.cpl


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1996 b08c6af1-5177-4d33-ba66-4b1c6b8b522a

cplint/examples/ex.cpl

@@ -0,0 +1,13 @@
+/*
+s([a],P).
+Variables: [(1,[]),(2,[]),(3,[])]
+P = 0.226 ?
+*/
+
+a:0.1.
+
+
+
+b:0.3;c:0.6.
+
+a:0.2:- \+ b.

cplint/examples/exapprox.cpl

@@ -0,0 +1,17 @@
+/*
+
+set(ground_body,true).
+s([a],P).
+Variables: [(1,[]),(2,[]),(3,[])]
+P = 0.1719 ? ;
+
+set(ground_body,false).
+   ?- s([a],P).
+P = 0.099 ?
+*/
+
+a:0.1:-p(X).
+
+p(1):0.9.
+
+p(2):0.9.

cplint/examples/exrange.cpl

@@ -0,0 +1,21 @@
+/*
+s([a(X)],P).
+Variables: [(1,[]),(5,[]),(2,[]),(6,[])]
+P = 0.2775
+X = 1 ? ;
+Variables: [(3,[]),(5,[]),(4,[]),(6,[])]
+P = 0.36
+X = 2 ? ;
+*/
+
+a(1):0.3:-p(1).
+
+a(1):0.3:-p(2).
+
+a(2):0.4:-p(1).
+
+a(2):0.4:-p(2).
+
+p(1):0.5.
+
+p(2):0.5.