rubylog 0.0.0

data/lib/symbol.rb

@@ -0,0 +1,35 @@
+class Symbol
+
+  # a proxy for Clause
+  def functor
+    self
+  end
+
+  def arity
+    0
+  end
+
+  def desc
+    [self, 0]
+  end
+
+  def args
+    []
+  end
+
+  # Unifiable methods
+  include Rubylog::Unifiable
+
+  # Callable methods
+  include Rubylog::Callable
+
+  def prove
+    predicate = Rubylog.theory[self][0]
+    raise Rubylog::ExistenceError, desc.inspect if not predicate
+    predicate.call(*args) { yield }
+  end
+
+  # Second-order functors (:is_false, :and, :or, :then)
+  include Rubylog::DSL::SecondOrderFunctors
+
+end

data/rubylog.gemspec

@@ -0,0 +1,187 @@
+# Generated by jeweler
+# DO NOT EDIT THIS FILE DIRECTLY
+# Instead, edit Jeweler::Tasks in Rakefile, and run 'rake gemspec'
+# -*- encoding: utf-8 -*-
+
+Gem::Specification.new do |s|
+  s.name = %q{rubylog}
+  s.version = "0.0.0"
+
+  s.required_rubygems_version = Gem::Requirement.new(">= 0") if s.respond_to? :required_rubygems_version=
+  s.authors = ["Bern\303\241t Kall\303\263"]
+  s.date = %q{2012-02-07}
+  s.description = %q{Rubylog is an embedded Prolog language and interpreter for Ruby.}
+  s.email = %q{kallo.bernat@gmail.com}
+  s.extra_rdoc_files = [
+    "LICENSE.txt",
+    "README.rdoc"
+  ]
+  s.files = [
+    ".document",
+    ".rspec",
+    "Gemfile",
+    "Gemfile.lock",
+    "LICENSE.txt",
+    "README.rdoc",
+    "Rakefile",
+    "VERSION",
+    "examples/4queens.rb",
+    "examples/calculation.rb",
+    "examples/concepts.rb",
+    "examples/factorial.rb",
+    "examples/fp.rb",
+    "examples/hello.rb",
+    "examples/historia_de_espana.rb",
+    "examples/idea.rb",
+    "examples/lists.rb",
+    "examples/mechanika.rb",
+    "examples/parse.rb",
+    "examples/theory.rb",
+    "lib/array.rb",
+    "lib/class.rb",
+    "lib/method.rb",
+    "lib/object.rb",
+    "lib/proc.rb",
+    "lib/rubylog.rb",
+    "lib/rubylog/builtins.rb",
+    "lib/rubylog/callable.rb",
+    "lib/rubylog/clause.rb",
+    "lib/rubylog/composite_term.rb",
+    "lib/rubylog/dsl.rb",
+    "lib/rubylog/dsl/constants.rb",
+    "lib/rubylog/dsl/first_order_functors.rb",
+    "lib/rubylog/dsl/global_functors.rb",
+    "lib/rubylog/dsl/second_order_functors.rb",
+    "lib/rubylog/errors.rb",
+    "lib/rubylog/internal_helpers.rb",
+    "lib/rubylog/predicate.rb",
+    "lib/rubylog/proc_method_additions.rb",
+    "lib/rubylog/term.rb",
+    "lib/rubylog/theory.rb",
+    "lib/rubylog/unifiable.rb",
+    "lib/rubylog/variable.rb",
+    "lib/symbol.rb",
+    "rubylog.gemspec",
+    "script/inriasuite2spec",
+    "script/inriasuite2spec.pl",
+    "spec/bartak_guide_spec.rb",
+    "spec/inriasuite.rb",
+    "spec/inriasuite/README",
+    "spec/inriasuite/abolish",
+    "spec/inriasuite/and",
+    "spec/inriasuite/arg",
+    "spec/inriasuite/arith_diff",
+    "spec/inriasuite/arith_eq",
+    "spec/inriasuite/arith_gt",
+    "spec/inriasuite/arith_gt=",
+    "spec/inriasuite/arith_lt",
+    "spec/inriasuite/arith_lt=",
+    "spec/inriasuite/asserta",
+    "spec/inriasuite/assertz",
+    "spec/inriasuite/atom",
+    "spec/inriasuite/atom_chars",
+    "spec/inriasuite/atom_codes",
+    "spec/inriasuite/atom_concat",
+    "spec/inriasuite/atom_length",
+    "spec/inriasuite/atomic",
+    "spec/inriasuite/bagof",
+    "spec/inriasuite/call",
+    "spec/inriasuite/catch-and-throw",
+    "spec/inriasuite/char_code",
+    "spec/inriasuite/clause",
+    "spec/inriasuite/compound",
+    "spec/inriasuite/copy_term",
+    "spec/inriasuite/current_input",
+    "spec/inriasuite/current_output",
+    "spec/inriasuite/current_predicate",
+    "spec/inriasuite/current_prolog_flag",
+    "spec/inriasuite/cut",
+    "spec/inriasuite/fail",
+    "spec/inriasuite/file_manip",
+    "spec/inriasuite/findall",
+    "spec/inriasuite/float",
+    "spec/inriasuite/functor",
+    "spec/inriasuite/functor-bis",
+    "spec/inriasuite/halt",
+    "spec/inriasuite/if-then",
+    "spec/inriasuite/if-then-else",
+    "spec/inriasuite/inriasuite.obp",
+    "spec/inriasuite/inriasuite.pl",
+    "spec/inriasuite/integer",
+    "spec/inriasuite/is",
+    "spec/inriasuite/junk",
+    "spec/inriasuite/nonvar",
+    "spec/inriasuite/not_provable",
+    "spec/inriasuite/not_unify",
+    "spec/inriasuite/number",
+    "spec/inriasuite/number_chars",
+    "spec/inriasuite/number_codes",
+    "spec/inriasuite/once",
+    "spec/inriasuite/or",
+    "spec/inriasuite/repeat",
+    "spec/inriasuite/retract",
+    "spec/inriasuite/set_prolog_flag",
+    "spec/inriasuite/setof",
+    "spec/inriasuite/sub_atom",
+    "spec/inriasuite/t",
+    "spec/inriasuite/t_foo.pl",
+    "spec/inriasuite/term_diff",
+    "spec/inriasuite/term_eq",
+    "spec/inriasuite/term_gt",
+    "spec/inriasuite/term_gt=",
+    "spec/inriasuite/term_lt",
+    "spec/inriasuite/term_lt=",
+    "spec/inriasuite/true",
+    "spec/inriasuite/unify",
+    "spec/recursion_spec.rb",
+    "spec/rubylog/builtins/splits_to.rb",
+    "spec/rubylog/clause_spec.rb",
+    "spec/rubylog/variable_spec.rb",
+    "spec/rubylog_spec.rb",
+    "spec/spec_helper.rb",
+    "spec/theory_spec.rb"
+  ]
+  s.homepage = %q{https://github.com/cie/rubylog}
+  s.licenses = ["MIT"]
+  s.require_paths = ["lib"]
+  s.rubygems_version = %q{1.3.7}
+  s.summary = %q{An embedded Prolog interpreter}
+
+  if s.respond_to? :specification_version then
+    current_version = Gem::Specification::CURRENT_SPECIFICATION_VERSION
+    s.specification_version = 3
+
+    if Gem::Version.new(Gem::VERSION) >= Gem::Version.new('1.2.0') then
+      s.add_development_dependency(%q<rspec>, ["~> 2.8.0"])
+      s.add_development_dependency(%q<yard>, ["~> 0.7"])
+      s.add_development_dependency(%q<rdoc>, ["~> 3.12"])
+      s.add_development_dependency(%q<cucumber>, [">= 0"])
+      s.add_development_dependency(%q<bundler>, ["~> 1.0.0"])
+      s.add_development_dependency(%q<jeweler>, ["~> 1.8.3"])
+      s.add_development_dependency(%q<simplecov>, [">= 0"])
+      s.add_development_dependency(%q<reek>, ["~> 1.2.8"])
+      s.add_development_dependency(%q<roodi>, ["~> 2.1.0"])
+    else
+      s.add_dependency(%q<rspec>, ["~> 2.8.0"])
+      s.add_dependency(%q<yard>, ["~> 0.7"])
+      s.add_dependency(%q<rdoc>, ["~> 3.12"])
+      s.add_dependency(%q<cucumber>, [">= 0"])
+      s.add_dependency(%q<bundler>, ["~> 1.0.0"])
+      s.add_dependency(%q<jeweler>, ["~> 1.8.3"])
+      s.add_dependency(%q<simplecov>, [">= 0"])
+      s.add_dependency(%q<reek>, ["~> 1.2.8"])
+      s.add_dependency(%q<roodi>, ["~> 2.1.0"])
+    end
+  else
+    s.add_dependency(%q<rspec>, ["~> 2.8.0"])
+    s.add_dependency(%q<yard>, ["~> 0.7"])
+    s.add_dependency(%q<rdoc>, ["~> 3.12"])
+    s.add_dependency(%q<cucumber>, [">= 0"])
+    s.add_dependency(%q<bundler>, ["~> 1.0.0"])
+    s.add_dependency(%q<jeweler>, ["~> 1.8.3"])
+    s.add_dependency(%q<simplecov>, [">= 0"])
+    s.add_dependency(%q<reek>, ["~> 1.2.8"])
+    s.add_dependency(%q<roodi>, ["~> 2.1.0"])
+  end
+end
+

data/script/inriasuite2spec.pl

@@ -0,0 +1,22 @@
+%:-
+%
+:- op( 20, xfx, <-- ).
+
+main :- 
+  open_file,
+  repeat,
+  (read([Goal, Result]); halt), 
+  print_assertion(Goal, Result),
+  fail; true.
+
+
+open_file :-
+  argument_list([Filename]),
+  open(Filename, read, S),
+  set_input(S).
+
+
+print_assertion(Goal, Result) :-
+  write(Goal), write(Result), nl.
+
+:- initialization(main).

data/spec/bartak_guide_spec.rb

@@ -0,0 +1,91 @@
+#!/usr/bin/env ruby
+# These are the rubylog transcripts of prolog codes from Roman Barták's Prolog
+# guide: http://kti.mff.cuni.cz/~bartak/prolog/
+
+require 'rubylog'
+
+class << Rubylog.theory
+  describe Rubylog do
+    before do
+      Rubylog.theory.clear
+    end
+
+    specify "Genealogy database" do
+      Symbol.rubylog_functor :man, :woman
+
+      :adam.man!
+      :peter.man!
+      :paul.man!
+
+      :marry.woman!
+      :eve.woman!
+
+    end
+
+
+    specify "Lists" do
+      Object.rubylog_functor :head_of
+      Array.rubylog_functor :tail_of
+
+      H.head_of(A).if A.splits_to(H,ANY)
+      T.tail_of(A).if A.splits_to(ANY,T)
+
+      2.should be_head_of [2,3,4]
+      2.should be_head_of [2]
+      2.should_not be_head_of [1]
+      2.should_not be_head_of []
+
+      [3,4].should be_tail_of [2,3,4]
+      [].   should be_tail_of [1]
+
+      Object.rubylog_functor :member_of
+
+      M.member_of(A).if A.splits_to(M,ANY)
+      M.member_of(A).if A.splits_to(ANY,T).and M.member_of(T)
+
+      0.should_not be_member_of [1,2,3]
+      1.should     be_member_of [1,2,3]
+      2.should     be_member_of [1,2,3]
+      3.should     be_member_of [1,2,3]
+      4.should_not be_member_of [1,2,3]
+
+      Object.rubylog_functor :first_of, :last_of
+
+      F.first_of(A).if A.splits_to(F,ANY)
+      L.last_of(A).if A.splits_to(L,[])
+      L.last_of(A).if A.splits_to(H,T).and L.last_of(T)
+
+      1.should be_first_of [1,2,3]
+      3.should_not be_last_of  []
+      3.should be_last_of  [3]
+      3.should be_last_of  [2,3]
+      3.should be_last_of  [1,2,3]
+      1.should_not be_last_of [1,2,3]
+
+      Array.rubylog_functor :prefix_of
+
+      [].prefix_of! ANY_LIST
+      A.prefix_of(B).if A.splits_to(H,TA).and B.splits_to(H,TB).and TA.prefix_of(TB)
+
+      [1,2,3].should be_prefix_of [1,2,3]
+    end
+
+
+    describe "How does it work?" do
+
+      specify "declarative character" do
+        (1.in? [1,2,3]).should be_true
+        (X.in [1,2,3]).to_a.should == [1,2,3]
+        (1.in [X,Y]).to_a.should == [[1,nil], [nil,1]]
+        lists = []
+        (1.in L).each do |l|
+          lists << l
+          break if lists.size == 3
+        end
+        #lists.should == [[1], [nil,1], [nil,nil,1]]
+      end
+    end
+
+  end
+end
+

data/spec/inriasuite/README

@@ -0,0 +1,122 @@
+This is the README file for version 0.9 of
+the test suite of conformance to the ISO
+Prolog standard based on the Formal specification
+of Pierre Deransart, Ali Ed-Dbali and Lurent Cervoni.
+
+The driver for the tests was written by Jonathan Hodgson.
+
+
+The suite cotains the following files.
+
+README		      This file
+inriasuite.pl         The driver.
+
+and a collection of files containing the tests.
+
+
+abolish                    Tests for abolish/1
+and                        Tests of ','/2
+arg                        Tests of arg/3
+arith_diff                 Tests of '=\='/2
+arith_eq                   Tests of '=:='/2
+arith_gt                   Tests of '>'/2
+arith_gt=                  Tests of '>='/2
+arith_lt                   Tests of '<'/2
+arith_lt=                  Tests of '=<'/2
+asserta                    Tests of asserta/1
+assertz                    Tests of assertz/1
+atom                       Tests of atom/1
+atom_chars                 Tests of atom_chars/2
+atom_codes                 Tests of atom_codes/2
+atom_concat                Tests of atom_concat/3
+atom_length                Tests of atom_length/2
+atomic                     Tests of atomic/1
+bagof                      Tests of bagof/3
+call                       Tests of call/1
+catch-and-throw            Tests of catch/3 and throw/1
+char_code                  Tests of char_code/2
+clause                     Tests of clause/2
+compound                   Tests of compound/1
+copy_term                  Tests of copy_term/2
+current_input              Tests of current_input/1
+current_output             Tests of current_output/2
+current_predicate          Tests of current_predicate/1
+current_prolog_flag        Tests of current_prolog_flag/2
+cut                        Tests of '!'/0
+fail                       Tests of fail/0
+file_manip                 File handling tests (not yet implmented.)
+findall                    Tests of findall/3
+float                      Tests of float/1
+functor                    Tests of functor/3
+halt                       Tests of halt, provided for documentation only.
+				attempts to run these terminate the suite!
+if-then                    Tests of '->'/2
+if-then-else               Tests of '-> ; '/3
+integer                    Tests of integer/1
+is                         Tests of is/2
+nonvar                     Tests of nonvar/1
+not_provable               Tests of '\+'/1
+not_unify                  Tests of '\='/2
+number                     Tests of number/1
+number_chars               Tests of number_chars/2
+number_codes               Tests of number_codes/2
+once                       Tests of once/1
+or                         Tests of ';'/2
+repeat                     Tests of repeat/0
+retract                    Tests of retract/1
+set_prolog_flag            Tests of set_prolog_flag/2
+setof                      Tests of setof/3
+sub_atom                   Tests of sub_atom/5
+term_diff                  Tests of '\=='/2
+term_eq                    Tests of '=='/2
+term_gt                    Tests of '@>'/2
+term_gt=                   Tests of '@>='/2
+term_lt                    Tests of '@<'/2
+term_lt=                   Tests of '@=<'/2
+true                       Tests of true/0
+unify                      Tests of '='/2
+
+
+The driver can be invoked after loading the file  "inriasuite.pl"
+by setting the goal  run_all_tests. Alternatively one can use one of
+the  commented out initialization directives provided at the end
+of the file to run the suite on load.
+
+LIMITATIONS.
+
+At present this suite does not test IO. Nor does it allow for
+tests in which a user defined program  is specified. Future versions
+of the suite will remedy this.
+
+REQUIREMENTS.
+
+The driver is written in vanilla ISO prolog. It uses the following (standard)
+builtins.
+
+!/0
+(=)/2
+(=..)/2
+(==)/2
+(=\=)/2
+(>=)/2
+(\+)/1
+(\==)/2
+asserta/1
+atomic/1
+call/1
+catch/3
+close/1
+copy_term/2
+findall/3
+(is)/2
+nl/0
+open/3
+read/1
+retract/1
+set_prolog_flag/2
+true/0
+var/1
+write/1
+
+
+DATE   3 March 1999

data/spec/inriasuite/abolish

@@ -0,0 +1,18 @@
+/* file abolish */
+
+
+[abolish(abolish/1), permission_error(modify,static_procedure,abolish/1)].
+
+
+[abolish(foo/a), type_error(integer,a)].
+
+[abolish(foo/(-1)), domain_error(not_less_than_zero,-1)].
+
+[(current_prolog_flag(max_arity,A), X is A + 1, abolish(foo/X)), 
+				representation_error(max_arity)]. 
+
+[abolish(5/2), type_error(atom,5)].
+
+
+/* end of abolish */
+

data/spec/inriasuite/and

@@ -0,0 +1,9 @@
+/* file ',' (conjunction) */
+
+[','(X=1, var(X)), failure].
+[','(var(X), X=1), [[X <-- 1]]].
+[','(fail, call(3)), failure].
+[','(nofoo(X), call(X)), existence_error(procedure, nofoo/1)].
+[','(X = true, call(X)), [[X <-- true]]].
+ 
+/* end of file ',' (conjunction) */

data/spec/inriasuite/arg

@@ -0,0 +1,32 @@
+/* file arg */
+
+[arg(1,foo(a,b),a), success].
+
+[arg(1,foo(a,b),X), [[X <-- a]]].
+
+[arg(1,foo(X,b),a), [[X <-- a]]].
+
+[arg(2,foo(a, f(X,b), c), f(a, Y)), [[X <-- a, Y <-- b]]].
+
+[arg(1,foo(X,b),Y), [[Y <-- X]]].
+
+[arg(1,foo(a,b),b), failure].
+
+[arg(0,foo(a,b),foo), failure].
+
+[arg(3,foo(3,4),N), failure].
+
+[arg(X,foo(a,b),a), instantiation_error].
+
+[arg(1,X,a), instantiation_error].
+
+[arg(0,atom,A), type_error(compound, atom)].
+
+[arg(0,3,A), type_error(compound, 3)]. 
+
+
+[arg(-3,foo(a,b),A), domain_error(not_less_than_zero,-3)]. 
+
+[arg(a,foo(a,b),X), type_error(integer, a)].
+
+/* end of arg */

data/spec/inriasuite/arith_diff

@@ -0,0 +1,10 @@
+/* file =\= */
+
+['=\\='(0,1), success].
+['=\\='(1.0,1), failure].
+['=\\='(3 * 2,7 - 1), failure].
+['=\\='(N,5), instantiation_error].
+['=\\='(floot(1),5), type_error(evaluable, floot/1)].
+
+/* end of =\= */
+

data/spec/inriasuite/arith_eq

@@ -0,0 +1,10 @@
+/* file =:= */
+
+['=:='(0,1), failure].
+['=:='(1.0,1), success].
+['=:='(3 * 2,7 - 1), success].
+['=:='(N,5), instantiation_error].
+['=:='(floot(1),5), type_error(evaluable, floot/1)].
+[0.333 =:= 1/3, failure].
+
+/* end of =:= */

data/spec/inriasuite/arith_gt

@@ -0,0 +1,10 @@
+/* file > */
+
+['>'(0,1), failure].
+['>'(1.0,1), failure].
+['>'(3*2,7-1), failure].
+['>'(X,5), instantiation_error].
+['>'(2 + floot(1),5), type_error(evaluable, floot/1)].
+
+/* end of > */
+

data/spec/inriasuite/arith_gt=

@@ -0,0 +1,10 @@
+/* file >= */
+
+['>='(0,1), failure].
+['>='(1.0,1), success].
+['>='(3*2,7-1), success].
+['>='(X,5), instantiation_error].
+['>='(2 + floot(1),5), type_error(evaluable, floot/1)].
+
+/* end of >= */
+

data/spec/inriasuite/arith_lt

@@ -0,0 +1,10 @@
+/* file < */
+
+['<'(0,1), success].
+['<'(1.0,1), failure].
+['<'(3*2,7-1), failure].
+['<'(X,5), instantiation_error].
+['<'(2 + floot(1),5), type_error(evaluable, floot/1)].
+
+/* end of < */
+

data/spec/inriasuite/arith_lt=

@@ -0,0 +1,10 @@
+/* file =< */
+
+['=<'(0,1), success].
+['=<'(1.0,1), success].
+['=<'(3*2,7-1), success].
+['=<'(X,5), instantiation_error].
+['=<'(2 + floot(1),5), type_error(evaluable, floot/1)].
+
+/* end of =< */
+

data/spec/inriasuite/asserta

@@ -0,0 +1,18 @@
+/* file asserta */
+/* use run_forest('bips-ex/progs/asserta_program') to see the program changes */
+
+
+
+
+[(asserta((bar(X) :- X)), clause(bar(X), B)), [[B <-- call(X)]]].
+
+[asserta(_), instantiation_error].
+
+[asserta(4), type_error(callable, 4)]. 
+
+[asserta((foo :- 4)), type_error(callable, 4)]. 
+
+[asserta((atom(_) :- true)), permission_error(modify,static_procedure,atom/1)].
+
+
+/* end of asserta */

data/spec/inriasuite/assertz

@@ -0,0 +1,16 @@
+/* file assertz (see the search tree by 'run_forest' predicate) */
+
+
+[assertz((foo(X) :- X -> call(X))), success].
+
+[assertz(_), instantiation_error].
+
+[assertz(4), type_error(callable, 4)].
+
+[assertz((foo :- 4)), type_error(callable, 4)].
+
+[assertz((atom(_) :- true)), 
+	permission_error(modify,static_procedure,atom/1)].
+
+
+/* end of assertz */

data/spec/inriasuite/atom

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

data/spec/inriasuite/atom_chars

@@ -0,0 +1,19 @@
+/* file atom_chars */
+
+[atom_chars('',L), [[L <-- []]]].
+[atom_chars([],L), [[L <-- ['[',']']]]].
+[atom_chars('''',L), [[L <-- ['''']]]].
+[atom_chars('iso',L), [[L <-- ['i','s','o']]]].
+[atom_chars(A,['p','r','o','l','o','g']), [[A <-- 'prolog']]].
+[atom_chars('North',['N'|X]), [[X <-- ['o','r','t','h']]]].
+[atom_chars('iso',['i','s']), failure].
+[atom_chars(A,L), instantiation_error].
+
+[atom_chars(A,[a,E,c]), instantiation_error].
+[atom_chars(A,[a,b|L]), instantiation_error].
+[atom_chars(f(a),L), type_error(atom,f(a))].
+[atom_chars(A,iso), type_error(list,iso)].
+[atom_chars(A,[a,f(b)]), type_error(character,f(b))].
+[(atom_chars(X,['1','2']), Y is X + 1), type_error(evaluable, '12'/0)].
+
+/* end of file atom_chars */

data/spec/inriasuite/atom_codes

@@ -0,0 +1,15 @@
+/* file atom_codes */
+
+[atom_codes('',L), [[L <-- []]]].
+[atom_codes([],L), [[L <-- [ 0'[, 0'] ]]]].
+[atom_codes('''',L), [[L <-- [ 39 ]]]].
+[atom_codes('iso',L), [[L <-- [ 0'i, 0's, 0'o ]]]].
+[atom_codes(A,[ 0'p, 0'r, 0'o, 0'l, 0'o, 0'g]), [[A <-- 'prolog']]].
+[atom_codes('North',[0'N | L]), [[L <-- [0'o, 0'r, 0't, 0'h]]]].
+[atom_codes('iso',[0'i, 0's]), failure].
+[atom_codes(A,L), instantiation_error].
+[atom_codes(f(a),L), type_error(atom,f(a))].
+[atom_codes(A, 0'x), type_error(list,0'x)].
+[atom_codes(A,[ 0'i, 0's, 1000]), representation_error(character_code)]. % 1000 not a code
+
+/* end of file atom_codes */