cleaned up and added bunch of examples

examples/car.lp

@@ -1,21 +1,21 @@
 #const n = 8.
 time(0..n).        step(I,I+1) :- time(I), I < n.
 
-&fsum {s(I)+D} =: s(I') :-  acc(D,I'), step(I,I').
-&fsum {s(I)-D} =: s(I') :- slow(D,I'), step(I,I').
+&sus {s(I)+D} =: s(I') :-  acc(D,I'), step(I,I').
+&sus {s(I)-D} =: s(I') :- slow(D,I'), step(I,I').
 
-&fsum {s(I)} =: s(I') :- not &fsum{ s(I') } != s(I), step(I,I').
+&sus {s(I)} =: s(I') :- not &sus{ s(I') } != s(I), step(I,I').
 
-&fsum {p(I)+s(I)} =: p(I') :- step(I,I').
+&sus {p(I)+s(I)} =: p(I') :- step(I,I').
 
-&fsum {400000} =: rdpos.
-&fsum {90000} =: rdlimit.    %  <<< ADDED <<<
+&sus {400000} =: rdpos.
+&sus {90000} =: rdlimit.    %  <<< ADDED <<<
 
-fine(I') :- &fsum{ p(I) } < rdpos, &fsum{ p(I') } >= rdpos, step(I,I'),
-            &fsum{ s(I') } > rdlimit.
+fine(I') :- &sus{ p(I) } < rdpos, &sus{ p(I') } >= rdpos, step(I,I'),
+            &sus{ s(I') } > rdlimit.
 
-&fsum {0} =: p(0).
-&fsum {80000} =: s(0).
+&sus {0} =: p(0).
+&sus {80000} =: s(0).
 
 acc(11350,4).
 slow(2301,6).

examples/config_assignment.lp

@@ -0,0 +1,10 @@
+price(standardframe,15).
+
+  selected(standardframe).
+{ selected(saddlebag) }.
+
+&sus{price(P)} = V :- selected(P), price(P,V).
+&sus{price(P) : selected(P)} =: price(total).
+
+#show selected/1.
+&show{price/1}.

examples/config_default.lp

@@ -0,0 +1,11 @@
+price(standardframe,15).
+
+  selected(standardframe).
+{ selected(saddlebag) }.
+
+&sus{price(P)} = V :- selected(P), price(P,V).
+&sus{price(P)} = 1 :- selected(P), not price(P,_).
+&sus{price(P) : selected(P)} =: price(total).
+
+#show selected/1.
+&show{price/1}.

examples/config_default_df.lp

@@ -0,0 +1,16 @@
+price(standardframe,15).
+
+default_price(20).
+
+  selected(standardframe).
+{ selected(saddlebag) }.
+
+&sus{price(P)} = V    :- selected(P), price(P,V).
+&sus{price(P) : selected(P)} =: calculated_price(total).
+
+&sus{price(total)} = calculated_price(total) :- &df{calculated_price(total)}.
+&sus{price(total)} = D                   :- not &df{calculated_price(total)},
+                                            default_price(D).
+
+#show selected/1.
+&show{price/1}.

examples/config_default_in.lp

@@ -0,0 +1,13 @@
+price(standardframe,15).
+default_range(1,2).
+
+  selected(standardframe).
+{ selected(saddlebag) }.
+
+&sus{price(P)} = V    :- selected(P), price(P,V).
+&in{L..U} =: price(P) :- selected(P), not price(P,_), 
+                         default_range(L,U).
+&sus{price(P) : selected(P)} =: price(total).
+
+#show selected/1.
+&show{price/1}.

examples/config_optional.lp

@@ -0,0 +1,10 @@
+price(standardframe,15).
+price(saddlebag,5).
+
+  selected(standardframe).
+{ selected(saddlebag) }.
+
+&sus{price(P)} = V :- selected(P), price(P,V).
+
+#show selected/1.
+&show{price/1}.

examples/config_pricelimit_choice.lp

@@ -0,0 +1,16 @@
+part(sportsframe).    price(sportsframe,15).   type(sportsframe,frame).
+part(standardframe).  price(standardframe,14). type(standardframe,frame).
+part(fancysaddle).    price(fancysaddle,6).    type(fancysaddle,saddle). 
+part(standardsaddle). price(standardsaddle,5). type(standardsaddle,saddle). 
+
+&sum{price(P)} = V :- price(P,V).
+
+pricelimit(20).
+
+&sum{price(P) :: selected(P) : part(P)} <= X :- pricelimit(X).
+:- selected(P), selected(P'), P<P', 
+   type(P,T),   type(P',T).
+:- type(_,T), { selected(P) : type(P,T) }0.
+
+#show selected/1.
+&show{}.

examples/config_pricelimit_sum.lp

@@ -0,0 +1,13 @@
+price(standardframe,15).
+
+pricelimit(14).
+
+  selected(standardframe).
+{ selected(saddlebag) }.
+
+&sus{price(P)} = V :- selected(P), price(P,V).
+:- &sum { price(P) : selected(P)  } >= L,
+   pricelimit(L).
+
+#show selected/1.
+&show{price/1}.

examples/config_pricelimit_sus.lp

@@ -0,0 +1,13 @@
+price(standardframe,15).
+
+pricelimit(14).
+
+  selected(standardframe).
+{ selected(saddlebag) }.
+
+&sus{price(P)} = V :- selected(P), price(P,V).
+:- &sus { price(P) : selected(P)  } >= L,
+   pricelimit(L).
+
+#show selected/1.
+&show{price/1}.

examples/taxes.lp

@@ -12,17 +12,17 @@ deduction(mary, 10000, 10001).
 
 1 { lives(P,R) : region(R) } 1 :- person(P).
 
-&fsum{ 0 } =: deduction(P) :- person(P), not deduction(P,_,_).
-&fin{ L..H } =: deduction(P) :- deduction(P,L,H).
-&fsum{ T } =: rate(P) :- lives(P,R), income(P,I),
+&sus{ 0 } =: deduction(P) :- person(P), not deduction(P,_,_).
+&in{ L..H } =: deduction(P) :- deduction(P,L,H).
+&sus{ T } =: rate(P) :- lives(P,R), income(P,I),
                         T = #max{ T' : rate(R,L,T'), I>=L}.
 
-&fsum{ I*rate(P)-100*deduction(P) } =: 100*tax(P) :- income(P,I).
-&fsum{ tax(P) : lives(P,R) } =: total(R) :- region(R).
-&fmin{ tax(P) : person(P) } =: min.
-&fmax{ tax(P) : person(P) } =: max.
-min_taxes(P) :- &fmin{ tax(P') : person(P') } = tax(P), person(P).
-max_taxes(P) :- &fmax{ tax(P') : person(P') } = tax(P), person(P).
+&sus{ I*rate(P)-100*deduction(P) } =: 100*tax(P) :- income(P,I).
+&sus{ tax(P) : lives(P,R) } =: total(R) :- region(R).
+&min{ tax(P) : person(P) } =: min.
+&max{ tax(P) : person(P) } =: max.
+min_taxes(P) :- &min{ tax(P') : person(P') } = tax(P), person(P).
+max_taxes(P) :- &max{ tax(P') : person(P') } = tax(P), person(P).
 
 #show lives/2.
 #show min_taxes/1.