abduction works

content/examples/modesOfInference/foldInduction.pl

@@ -1,6 +1,20 @@
+:- use_module(library(scasp)).
 :- ensure_loaded('../../First-Order-Learner-of-Default/fold.pl').
 :- ensure_loaded('../../functions/createBackground.pl').
-:- reexport('backgroundv2').
+
+background_induction(B, Pos, Neg, Predicates, Goal) :-
+    % Case: These beans are from this sack
+    B = [
+        sack(s1),
+        bean(b1),
+        from_s1(b1)
+    ],
+    % Result: These beans are white
+    Pos = [b1],
+    Neg = [],
+    Predicates = [sack, bean, from_s1],
+    Goal = white.
+    % fold.. Rule: all beans from this sack are white
 
 %% Induction
 

content/examples/modesOfInference/scaspAbduction.pl

@@ -1,6 +1,16 @@
 :- use_module(library(scasp)).
 :- ensure_loaded('../../functions/createBackground.pl').
-:- reexport('backgroundv2').
+
+background_abduction(B, Pos, Neg, Predicates) :-
+    B = [
+        from(X, Z),
+        % Rule: all beans from this sack are white
+        white(X) :- from(X,s1)
+    ],
+    Pos = [],
+    Neg = [],
+    Predicates = [sack, bean, white].
+    % Goal = from(b1,s1).
 
 %% Abduction
 
@@ -10,9 +20,11 @@
 
 ?- run.
 
-#abducible from(X, Z).
-#abducible white(X).
+#abducible from(X,Z).
 
-% Case: These beans are from this sack
+% Result: These beans are white
 % Query:
-% ?- ? from(b1,s1). % Results: true
+% ?- ??++ white(b1).
+
+% Case: These beans are from this sack
+% result: white holds for b1, because by abduction we conclude that from holds for b1, and s1

content/examples/modesOfInference/scaspDeduction.pl

@@ -1,6 +1,38 @@
 :- use_module(library(scasp)).
 :- ensure_loaded('../../functions/createBackground.pl').
-:- reexport('backgroundv2').
+
+
+%% Previous Background version
+% #pred sack(X) :: '@(X) is a sack'.
+% sack(s1).
+
+% #pred bean(X) :: '@(X) is a bean'.
+% bean(X).
+
+% #pred white(X) :: '@(X) is white'.
+% white(Y).
+
+% #pred from(X,Z) :: '@(X) is from @(Z)'.
+% from(X,Z).
+
+background_deduction(B, Pos, Neg, Predicates, Goal) :-
+    B = [
+        sack(s1),
+        bean(X),
+        white(Y),
+        from(X,Z),
+        % Rule: all beans from this sack are white
+        white(X) :- from(X,s1),
+        % Case: These beans are from this sack
+        from(b1,s1)
+    ],
+    Pos = [],
+    Neg = [],
+    Predicates = [sack, bean, white, from, from_s1],
+    % Result: These beans are white 
+    % Query:
+    % white(X). Results: X = b1
+    Goal = white.
 
 %% Deduction