rubylog 0.0.0

data/spec/inriasuite/atom_concat

@@ -0,0 +1,19 @@
+/* file atom_concat */
+
+[atom_concat('hello',' world',A), [[A <-- 'hello world']]].
+[atom_concat(T,' world','small world'), [[T <-- 'small']]].
+[atom_concat('hello',' world','small world'), failure].
+[atom_concat(T1,T2,'hello'),
+			[[T1 <-- '',T2 <-- 'hello'],
+			 [T1 <-- 'h',T2 <-- 'ello'],
+			 [T1 <-- 'he',T2 <-- 'llo'],
+			 [T1 <-- 'hel',T2 <-- 'lo'],
+			 [T1 <-- 'hell',T2 <-- 'o'],
+			 [T1 <-- 'hello',T2 <-- '']]]. 
+[atom_concat(A1,'iso',A3), instantiation_error].
+[atom_concat('iso',A2,A3), instantiation_error].
+[atom_concat(f(a),'iso',A3), type_error(atom,f(a))].
+[atom_concat('iso',f(a),A3), type_error(atom,f(a))].
+[atom_concat(A1,A2,f(a)), type_error(atom,f(a))].
+
+/* end of file atom_concat */

data/spec/inriasuite/atom_length

@@ -0,0 +1,12 @@
+/* file atom_length */
+
+[atom_length('enchanted evening', N), [[N <-- 17]]].
+%[atom_length('enchanted\
+% evening', N), [[N <-- 17]]].
+[atom_length('', N), [[N <-- 0]]].
+[atom_length('scarlet', 5), failure].
+[atom_length(Atom, 4), instantiation_error]. % Culprit Atom
+[atom_length(1.23, 4), type_error(atom, 1.23)].
+[atom_length(atom, '4'), type_error(integer, '4')].
+
+/* end of file atom_length */

data/spec/inriasuite/atomic

@@ -0,0 +1,11 @@
+/* file atomic */
+
+[atomic(atom), success].
+[atomic(a(b)), failure].
+[atomic(Var), failure].
+[atomic([]), success].
+[atomic(6), success].
+[atomic(3.3), success].
+
+/* end of atomic */
+

data/spec/inriasuite/bagof

@@ -0,0 +1,31 @@
+/* file of bagof */
+
+[bagof(X,(X=1;X=2),L), [[L <-- [1, 2]]]].
+
+[bagof(X,(X=1;X=2),X), [[X <-- [1, 2]]]].
+
+[bagof(X,(X=Y;X=Z),L), [[L <-- [Y, Z]]]].
+
+[bagof(X,fail,L), failure].
+
+[bagof(1,(Y=1;Y=2),L), [[L <-- [1], Y <-- 1], [L <-- [1], Y <-- 2]]].
+
+[bagof(f(X,Y),(X=a;Y=b),L), [[L <-- [f(a, _), f(_, b)]]]].
+
+[bagof(X,Y^((X=1,Y=1);(X=2,Y=2)),S), [[S <-- [1, 2]]]].
+
+[bagof(X,Y^((X=1;Y=1);(X=2,Y=2)),S), [[S <-- [1, _, 2]]]].
+
+[(set_prolog_flag(unknown, warning), 
+  bagof(X,(Y^(X=1;Y=1);X=3),S)), [[S <-- [3]]]].
+
+[bagof(X,(X=Y;X=Z;Y=1),L), [[L <-- [Y, Z]], [L <-- [_], Y <-- 1]]].
+
+
+[bagof(X,Y^Z,L), instantiation_error].
+
+[bagof(X,1,L), type_error(callable, 1)].
+
+[findall(X,call(4),S),type_error(callable, 4)].
+
+/* end of bagof */

data/spec/inriasuite/call

@@ -0,0 +1,19 @@
+
+/* file call */
+% To see the side effect of these goals, use the goal : 
+% display_io(on), run_bip('bips-ex/call'), dispaly_io(off).
+
+[call(!),success].
+[call(fail), failure].
+[call((fail, X)), failure].
+[call((fail, call(1))), failure].
+[call((write(3), X)), instantiation_error].
+[call((write(3), call(1))), type_error(callable,1)].
+[call(X), instantiation_error].
+[call(1), type_error(callable,1)].
+[call((fail, 1)), type_error(callable,(fail,1))].
+[call((write(3), 1)), type_error(callable,(write(3), 1))].
+[call((1; true)), type_error(callable,(1; true))].
+
+/* end of call */
+

data/spec/inriasuite/catch-and-throw

@@ -0,0 +1,16 @@
+/* file catch-and-throw */
+/* give the goal: display_io(on), 
+		  run_bip('bips-ex/catch-and-throw'), 
+		  display_io(off). 
+*/
+
+
+[(catch(true, C, write('something')), throw(blabla)), system_error]. 
+						% The system catchs 'blabla'
+
+[catch(number_chars(A,L), error(instantiation_error, _), fail), failure].
+
+
+/* end of file catch-and-throw */
+
+

data/spec/inriasuite/char_code

@@ -0,0 +1,13 @@
+/* file char_code */
+[char_code(a,Code),[[Code <-- 0'a]]].
+[char_code(Char,99),[[Char <-- c]]].
+[char_code(Char,0'c),[[Char <-- c]]].
+[char_code(Char,163),[[Char <-- '\xa3\']]].
+[char_code(b,98),success].
+[char_code(b,4),failure].
+[char_code('ab',Code),type_error(character, 'ab')].
+[char_code(a,x),type_error(integer, x)].
+[char_code(Char,Code),instantiation_error].
+[char_code(Char,-2),representation_error(character_code)].
+/* end of char_code */
+

data/spec/inriasuite/clause

@@ -0,0 +1,16 @@
+/* file clause */
+
+
+[clause(x,Body), failure].
+
+[clause(_,B), instantiation_error].
+
+[clause(4,B), type_error(callable,4)].
+
+[clause(f(_),5), type_error(callable,5)].
+
+[clause(atom(_),Body), permission_error(access,private_procedure,atom/1)]. 
+
+
+/* end of clause */
+

data/spec/inriasuite/compound

@@ -0,0 +1,12 @@
+/* file compound */
+
+[compound(33.3), failure].
+[compound(-33.3), failure].
+[compound(-a), success].
+[compound(_), failure].
+[compound(a), failure].
+[compound(a(b)), success].
+[compound([a]),success].
+
+/* end of compound */
+

data/spec/inriasuite/copy_term

@@ -0,0 +1,25 @@
+/* file copy_term */
+
+[copy_term(X,Y), success].
+
+[copy_term(X,3), success].
+
+[copy_term(_,a), success].
+
+[copy_term(a+X,X+b),[[X <-- a]]].
+
+[copy_term(_,_), success].
+
+[copy_term(X+X+Y,A+B+B),[[B <-- A]]].
+
+[copy_term(a,a), success].
+
+[copy_term(a,b), failure].
+
+[copy_term(f(a),f(X)),[[X <-- a]]].
+
+[(copy_term(a+X,X+b),copy_term(a+X,X+b)), failure].
+
+
+/* end of copy_term */
+

data/spec/inriasuite/current_input

@@ -0,0 +1,5 @@
+/* file current_input */
+
+[exists(current_input/1), success].
+
+/* end of file current_input */

data/spec/inriasuite/current_output

@@ -0,0 +1,5 @@
+/* file current_output */
+
+[exists(current_output/1), success]. 
+
+/* end of file current_output */

data/spec/inriasuite/current_predicate

@@ -0,0 +1,16 @@
+/* file current_predicate */
+
+
+[current_predicate(current_predicate/1), failure]. 
+
+/* depends on the test harness */
+[current_predicate(run_tests/1), success].     
+
+[current_predicate(4), type_error(predicate_indicator, 4)].
+
+[current_predicate(dog), type_error(predicate_indicator, dog)].
+
+[current_predicate(0/dog), type_error(predicate_indicator, 0/dog)].
+
+/* end of current_predicate */
+

data/spec/inriasuite/current_prolog_flag

@@ -0,0 +1,12 @@
+/* file current_prolog_flag */
+
+[current_prolog_flag(debug, off), success].
+[(set_prolog_flag(unknown, warning), 
+  current_prolog_flag(unknown, warning)), success].
+[(set_prolog_flag(unknown, warning), 
+  current_prolog_flag(unknown, error)), failure].
+[current_prolog_flag(debug, V), [[V <-- off]]].
+[current_prolog_flag(5, V), type_error(atom,5)].
+[current_prolog_flag(warning, V), domain_error(prolog_flag,warning)].
+
+/* end of current_prolog_flag */

data/spec/inriasuite/cut

@@ -0,0 +1,9 @@
+/* file cut */
+
+[!, success].
+[(!,fail;true), failure].
+[(call(!),fail;true), success].
+
+
+/* end of cut */
+

data/spec/inriasuite/fail

@@ -0,0 +1,15 @@
+
+/* file fail */
+
+[fail, failure].
+
+[undef_pred, existence_error(procedure, undef_pred/0)]. % the value of flag 'unknown' is 'error'.
+
+[(set_prolog_flag(unknown, fail), undef_pred), failure].
+
+[(set_prolog_flag(unknown, warning), undef_pred), failure]. % A warning message
+	 % appears in the outputfile (see forest by: run_forest or bip_forest).
+
+
+/* end of fail */
+

data/spec/inriasuite/file_manip

@@ -0,0 +1,8 @@
+/* file file_manip (group together: seek,at and get_char) */
+/* For these BIPs and put_char and write, see the search tree */
+/* by 'run_forest' predicate */
+[(seek(my_file,3),at(my_file,X)),in(my_file),[[X <-- 3]]].
+[(seek(my_file,eof),at(my_file,X)),in(my_file),[[X <-- eof]]].
+[(seek(my_file,3),get_char(X,my_file)),in(my_file),[[X <-- e]]].
+/* end of file_manip */
+

data/spec/inriasuite/findall

@@ -0,0 +1,22 @@
+/* file findall */
+
+[findall(X,(X=1 ; X=2),S),[[S <-- [1,2]]]].
+
+[findall(X+Y,(X=1),S),[[S <-- [1+_]]]].
+
+[findall(X,fail,L),[[L <-- []]]].
+
+[findall(X,(X=1 ; X=1),S),[[S <-- [1,1]]]].
+
+[findall(X,(X=2 ; X=1),[1,2]), failure].
+
+[findall(X,(X=1 ; X=2),[X,Y]), [[X <-- 1, Y <-- 2]]].
+
+[findall(X,Goal,S),instantiation_error]. % Culprit Goal
+
+[findall(X,4,S),type_error(callable, 4)].
+
+[findall(X,call(1),S),type_error(callable, 1)].
+
+/* end of findall */
+

data/spec/inriasuite/float

@@ -0,0 +1,10 @@
+/* file float */
+
+[float(3.3), success].
+[float(-3.3), success].
+[float(3), failure].
+[float(atom), failure].
+[float(X), failure].
+
+/* end of float */
+

data/spec/inriasuite/functor

@@ -0,0 +1,41 @@
+/* file functor */
+
+[functor(foo(a,b,c),foo,3), success].
+
+[functor(foo(a,b,c),X,Y), [[X <-- foo, Y <-- 3]]].
+
+[functor(X,foo,3), [[X <-- foo(A,B,C)]]].  % A, B and C are 3 new variables
+
+[functor(X,foo,0), [[X <-- foo]]].
+
+[functor(mats(A,B),A,B), [[A <-- mats,B <-- 2]]].
+
+[functor(foo(a),foo,2), failure].
+
+[functor(foo(a),fo,1), failure].
+
+[functor(1,X,Y), [[X <-- 1,Y <-- 0]]].
+
+[functor(X,1.1,0), [[X <-- 1.1]]].
+
+[functor([_|_],'.',2), success].
+
+[functor([],[],0), success].
+
+[functor(X, Y, 3), instantiation_error].
+
+[functor(X, foo, N), instantiation_error].
+
+[functor(X, foo, a), type_error(integer,a)].
+
+[functor(F, 1.5, 1), type_error(atom,1.5)].
+
+[functor(F,foo(a),1), type_error(atomic,foo(a))].
+
+[(current_prolog_flag(max_arity,A), X is A + 1, functor(T, foo, X)), 
+				representation_error(max_arity)]. 
+
+[functor(T, foo, -1), domain_error(not_less_than_zero,-1)].
+
+/* end of functor */
+

data/spec/inriasuite/functor-bis

@@ -0,0 +1,41 @@
+[functor(foo(a,b,c),foo,3),    % The goal
+                     success]. % The 'expected' answer
+
+[functor(foo(a,b,c),X,Y),
+      [[X <-- foo, Y <-- 2]]]. % Must instantiate Y by 3
+
+[functor(X,foo,3), [[X <-- foo(A,B,C)]]]. 
+
+[functor(X,foo,0), [[X <-- foo]]].
+
+[functor(mats(A,B),A,B), [[A <-- mats,B <-- 2]]].
+
+[functor(foo(a),foo,2), success]. % Must fail
+
+[functor(foo(a),fo,1), failure].
+
+[functor(1,X,Y), [[X <-- 1,Y <-- 0]]].
+
+[functor(X,1.1,0), [[X <-- 1.1]]].
+
+[functor([_|_],'.',2), failure]. % Must succeed
+
+[functor([],[],0), success].
+
+[functor(X, Y, 3), instantiation_error].
+
+[functor(X, foo, N), instantiation_error].
+
+[functor(X, foo, a), 
+ failure]. % type_error(integer,a) expected ('a' not an integer)
+
+[functor(F, 1.5, 1), type_error(atom,1.5)].
+
+[functor(F,foo(a),1), type_error(atomic,foo(a))].
+
+[(current_prolog_flag(max_arity,A), 
+  X is A + 1,             % 3 goals brackted
+  functor(T, foo, X)), 
+  representation_error(max_arity)]. 
+
+[functor(T, foo, -1), domain_error(not_less_than_zero,-1)].

data/spec/inriasuite/halt

@@ -0,0 +1,7 @@
+/* file halt */
+
+[halt, impl_defined].
+[halt(1), impl_defined].
+[halt(a), type_error(integer, a)].
+
+/* end of file halt */

data/spec/inriasuite/if-then

@@ -0,0 +1,10 @@
+/* file if-then (-> operator) */
+
+['->'(true, true), success].
+['->'(true, fail), failure].
+['->'(fail, true), failure].
+['->'(true, X=1), [[X <-- 1]]].
+['->'(';'(X=1, X=2), true), [[X <-- 1]]]. 
+['->'(true, ';'(X=1, X=2)), [[X <-- 1], [X <-- 2]]].
+
+/* end of file if-then (-> operator) */

data/spec/inriasuite/if-then-else

@@ -0,0 +1,12 @@
+/* file if-then-else (Cond -> Then ; Else) */
+
+[';'('->'(true, true), fail), success].
+[';'('->'(fail, true), true), success].
+[';'('->'(true, fail), fail), failure].
+[';'('->'(fail, true), fail), failure].
+[';'('->'(true, X=1), X=2), [[X <-- 1]]].
+[';'('->'(fail, X=1), X=2), [[X <-- 2]]].
+[';'('->'(true, ';'(X=1, X=2)), true), [[X <-- 1], [X <-- 2]]].
+[';'('->'(';'(X=1, X=2), true), true), [[X <-- 1]]].
+
+/* end of file if (-> operator) */