rubylog 1.0.0 → 2.0pre1

data/spec/rubylog/variable_spec.rb

@@ -0,0 +1,279 @@
+require "spec_helper"
+
+describe Rubylog::Variable, :rubylog=>true do
+  it "is created when an undefined constant name appears" do 
+    [A, SomethingLong].each{|x|x.should be_kind_of Rubylog::Variable}
+  end
+
+  it "supports ==" do 
+    A.should == A
+  end
+
+  it "supports eql?" do
+    A.should be_eql A
+  end
+
+  it "returns different instances" do
+    A.should_not be_equal A
+  end
+
+  describe "dont-care variables" do 
+    specify "start with ANY or Any or AnY" do
+      [ANY, Anything, AnYTIME].each{|x|x.should be_kind_of Rubylog::Variable; x.should be_dont_care}
+      [NOBODY, EVERYBODY, SOMEBODY].each{|x|x.should be_kind_of Rubylog::Variable; x.should_not be_dont_care}
+    end
+  end
+
+  describe "#value" do
+    it "returns the value if bound" do
+      a = A
+      a.send :bind_to, 5 do
+        a.value.should == 5
+      end
+    end
+
+    it "returns nil if unbound" do
+      a = A
+      a.send :bind_to, 5 do
+      end
+      a.value.should == nil
+    end
+  end
+
+  describe "unification" do
+    it "unifies with non-var" do
+      a=A
+      a.rubylog_unify(4) do
+        a.should be_bound
+        a.value.should eql 4
+      end
+    end
+
+    it "unifies with non-var (reversed)" do
+      a=A
+      4.rubylog_unify(a) do
+        a.should be_bound
+        a.value.should eql 4
+      end
+    end
+
+    it "unifies with another unbound variable with the other gettin bound" do
+      a=A
+      b=B
+      a.rubylog_unify(b) do
+        b.should be_bound
+        b.value.should equal a
+        a.should_not be_bound
+      end
+    end
+
+    it "unifies with a bound variable" do
+      a=A
+      b=B
+      b.send(:bind_to, 4) do
+        a.rubylog_unify(b) do
+          a.value.should == 4
+        end
+      end
+    end
+
+    it "when bound, unifies with an unbound variable" do
+      a=A
+      b=B
+      a.send(:bind_to, 4) do
+        a.rubylog_unify(b) do
+          b.value.should == 4
+        end
+      end
+    end
+  end
+
+  describe "dereferencing" do
+    predicate_for Integer, ".divides()"
+
+    check { A.is_a? Rubylog::Variable }
+    check { A.rubylog_deep_dereference == A }
+
+    a = A
+    check { a.rubylog_deep_dereference.equal? a }
+
+    check { not a.bound? }
+
+    specify do
+      a.rubylog_unify(4) do
+        check { a.bound? }
+        check { a.rubylog_deep_dereference == 4 }
+        check { [1,a].rubylog_deep_dereference == [1,4] }
+        check { a.divides(16).rubylog_deep_dereference == 4.divides(16) }
+      end
+    end
+
+    b = []
+    check { not b.rubylog_deep_dereference.equal? b }
+
+    c = Object.new
+    check { c.rubylog_deep_dereference.equal? c }
+  end
+
+  describe "dont-care variables are case insensitive ANY* and _*" do
+    check 3.is(ANY).and 3.is(ANY)
+    check 3.is(ANY).and 4.is(ANY)
+    check 3.is(ANYTHING).and 3.is(ANYTHING)
+    check 3.is(ANYTHING).and 4.is(ANYTHING)
+    check 3.is(Anything).and 3.is(Anything)
+    check 3.is(Anything).and 4.is(Anything)
+    check 3.is(Rubylog::Variable.new(:_var1)).and(3.is(Rubylog::Variable.new(:_var1)))
+    check 3.is(Rubylog::Variable.new(:_var1)).and(4.is(Rubylog::Variable.new(:_var1)))
+    check 3.is(Rubylog::Variable.new(:var1 )).and(3.is(Rubylog::Variable.new(:var1 )))
+    check 3.is(Rubylog::Variable.new(:var1 )).and(4.is(Rubylog::Variable.new(:var1 ))).false
+  end
+
+  describe "dont-care variables support recursion" do
+    predicate_for Integer, ".factorial()"
+    0.factorial! 1
+    N.factorial(K).if proc{N > 0}.and N1.is {N-1} .and N1.factorial(K1).and K.is{ N*K1 }.and K.is(ANY1).and N.is(ANY2)
+    check 0.factorial 1
+    check 1.factorial 1
+    check 2.factorial 2
+    check 3.factorial 6
+    check 4.factorial 24
+    check 7.factorial 5040
+  end
+
+  describe "calling" do
+    describe "precompiled" do
+      check B.is(4).and A.is(B.is(C).and C.is(4)).and A
+      check((B.is(4).and A.is(B.is(C).and C.is(3)).and A).false)
+    end
+
+    describe "compiled run-time" do
+      check B.is(4).and A.is{B.is(C).and C.is(4)}.and A
+      check((B.is(4).and A.is{B.is(C).and C.is(3)}.and A).false)
+    end
+
+  end
+
+  describe "guards", :rubylog=>true do
+
+    describe "class guard" do
+      predicate_for [Integer,Float], ".divides()"
+      A[Integer].divides(B[Integer]).if { B % A == 0 }
+      A[Float].divides!(B[Float])
+      check 2.divides(10)
+      check 2.divides(9).false
+      check 2.divides(1).false
+      check 2.divides(0)
+      check 2.12.divides(4.5)
+      check -0.31.divides(-1.5)
+      check 0.3.divides(3).false
+      check 2.0.divides(10).false
+      check 2.divides(10.0).false
+      check 2.divides(9.0).false
+    end
+
+    describe "union of guards at compile" do
+      predicate_for Numeric, ".small"
+      A[0...100].small.if ANY.is A[Integer]
+      check 0.small
+      check 10.small
+      check -1.small.false
+      check 0.0.small.false
+      check 99.small
+      check 99.0.small.false
+      check 99.9.small.false
+      check 100.small.false
+      check 100.0.small.false
+    end
+
+    describe "union of guards at compile (dont-care)" do
+      predicate_for Numeric, ".small"
+      A[0...100].small.if A.is ANY[Integer]
+      check 0.small
+      check 10.small
+      check -1.small.false
+      check 0.0.small.false
+      check 99.small
+      check 99.0.small.false
+      check 99.9.small.false
+      check 100.small.false
+      check 100.0.small.false
+    end
+
+    describe "union of guards at unification" do
+      predicate_for Numeric, ".small"
+      A[0...100].small.if A.is B[Integer]
+      check 0.small
+      check 10.small
+      check -1.small.false
+      check 0.0.small.false
+      check 99.small
+      check 99.0.small.false
+      check 99.9.small.false
+      check 100.small.false
+      check 100.0.small.false
+    end
+
+    describe "union of guards at unification (reversed)" do
+      predicate_for Numeric, ".small"
+      A[0...100].small.if B[Integer].is A
+      check 0.small
+      check 10.small
+      check -1.small.false
+      check 0.0.small.false
+      check 99.small
+      check 99.0.small.false
+      check 99.9.small.false
+      check 100.small.false
+      check 100.0.small.false
+    end
+
+
+    describe "proc guards" do
+      predicate_for Numeric, ".big"
+      A[proc{|a|a > 20}].big!
+      check -100.big.false
+      check 0.big.false
+      check 10.big.false
+      check 20.big.false
+      check 21.big
+      check 200.big
+    end
+
+    describe "hash guards" do
+      predicate_for String, ".char"
+      S[length: 1].char!
+      check "a".char
+      check " ".char
+      check "".char.false
+      check "af".char.false
+      check "Hello".char.false
+    end
+
+    describe "list hash guards" do
+      predicate_for String, ".capitalized"
+      S[[:[],0] => /[A-Z]/].capitalized!
+      check "a".capitalized.false
+      check " ".capitalized.false
+      check "".capitalized.false
+      check "af".capitalized.false
+      check "A".capitalized
+      check "Hello".capitalized
+    end
+
+
+    describe "chained hash guards" do
+      predicate_for String, ".funny"
+      S[upcase: {[:[],1..-2] => "ELL"}].funny!
+      check "hello".funny
+      check "Bell!".funny
+      check "BELL!".funny
+      check "DELL".funny.false
+      check "help!".funny.false
+      check "hello!".funny.false
+    end
+
+
+
+  end
+end
+

data/spec/spec_helper.rb

@@ -6,6 +6,7 @@ require 'simplecov'
 SimpleCov.start
 
 require 'rubylog'
+require 'rspec/rubylog'
 
 # Requires supporting files with custom matchers and macros, etc,
 # in ./support/ and its subdirectories.

data/vimrc

@@ -0,0 +1,11 @@
+set makeprg=rspec
+map <F9> :make<CR><CR>
+
+noremap r :e lib/rubylog/
+noremap e :e lib/rubylog/
+noremap s :sp lib/rubylog/
+noremap v :vs lib/rubylog/
+noremap g :!git 
+noremap d yiwq:ivim -def 0\>- lib**<CR>
+noremap f yiwq:ivim -\<0\>- lib**<CR>
+

metadata

@@ -1,30 +1,33 @@
 --- !ruby/object:Gem::Specification
 name: rubylog
 version: !ruby/object:Gem::Version
-  version: 1.0.0
-  prerelease: 
+  version: 2.0pre1
+  prerelease: 3
 platform: ruby
 authors:
 - Bernát Kalló
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-02-27 00:00:00.000000000Z
+date: 2013-05-02 00:00:00.000000000Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rspec
-  requirement: &87769710 !ruby/object:Gem::Requirement
+  requirement: &80714410 !ruby/object:Gem::Requirement
     none: false
     requirements:
-    - - ~>
+    - - <
+      - !ruby/object:Gem::Version
+        version: '3'
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: 2.8.0
   type: :development
   prerelease: false
-  version_requirements: *87769710
+  version_requirements: *80714410
 - !ruby/object:Gem::Dependency
   name: yard
-  requirement: &87769290 !ruby/object:Gem::Requirement
+  requirement: &80713870 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
@@ -32,54 +35,32 @@ dependencies:
         version: '0.7'
   type: :development
   prerelease: false
-  version_requirements: *87769290
-- !ruby/object:Gem::Dependency
-  name: rdoc
-  requirement: &87768850 !ruby/object:Gem::Requirement
-    none: false
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: '3.12'
-  type: :development
-  prerelease: false
-  version_requirements: *87768850
-- !ruby/object:Gem::Dependency
-  name: cucumber
-  requirement: &87722730 !ruby/object:Gem::Requirement
-    none: false
-    requirements:
-    - - ! '>='
-      - !ruby/object:Gem::Version
-        version: '0'
-  type: :development
-  prerelease: false
-  version_requirements: *87722730
+  version_requirements: *80713870
 - !ruby/object:Gem::Dependency
   name: bundler
-  requirement: &87722330 !ruby/object:Gem::Requirement
+  requirement: &80713360 !ruby/object:Gem::Requirement
     none: false
     requirements:
-    - - ~>
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: 1.0.0
   type: :development
   prerelease: false
-  version_requirements: *87722330
+  version_requirements: *80713360
 - !ruby/object:Gem::Dependency
   name: jeweler
-  requirement: &87721950 !ruby/object:Gem::Requirement
+  requirement: &80712960 !ruby/object:Gem::Requirement
     none: false
     requirements:
-    - - ~>
+    - - ! '>='
       - !ruby/object:Gem::Version
         version: 1.8.3
   type: :development
   prerelease: false
-  version_requirements: *87721950
+  version_requirements: *80712960
 - !ruby/object:Gem::Dependency
   name: simplecov
-  requirement: &87721520 !ruby/object:Gem::Requirement
+  requirement: &80712570 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ! '>='
@@ -87,78 +68,80 @@ dependencies:
         version: '0'
   type: :development
   prerelease: false
-  version_requirements: *87721520
-- !ruby/object:Gem::Dependency
-  name: reek
-  requirement: &87721210 !ruby/object:Gem::Requirement
-    none: false
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: 1.2.8
-  type: :development
-  prerelease: false
-  version_requirements: *87721210
-- !ruby/object:Gem::Dependency
-  name: roodi
-  requirement: &87720840 !ruby/object:Gem::Requirement
-    none: false
-    requirements:
-    - - ~>
-      - !ruby/object:Gem::Version
-        version: 2.1.0
-  type: :development
-  prerelease: false
-  version_requirements: *87720840
-description: Rubylog is an embedded Prolog language and interpreter for Ruby.
+  version_requirements: *80712570
+description: Rubylog is a Prolog-like DSL for Ruby.
 email: kallo.bernat@gmail.com
-executables:
-- rubylog
+executables: []
 extensions: []
 extra_rdoc_files:
 - LICENSE.txt
-- README.hu.rb
 - README.rdoc
+- README.rdoc.orig
 files:
 - .document
 - .rspec
 - Gemfile
 - Gemfile.lock
 - LICENSE.txt
-- README.hu.rb
 - README.rdoc
+- RELEASE_NOTES.rdoc
 - Rakefile
+- TODO.txt
 - VERSION
-- bin/rubylog
+- examples/a_plus_b.rb
+- examples/checkmate.rb
+- examples/combination.rb
 - examples/dcg.rb
 - examples/dcg2.rb
+- examples/directory_structure_logic.rb
+- examples/dirlist.rb
+- examples/divisors.rb
 - examples/enumerators.rb
 - examples/factorial.rb
+- examples/file_search.rb
 - examples/hanoi.rb
 - examples/hello.rb
+- examples/mice.rb
+- examples/mice2.rb
+- examples/n_queens.rb
+- examples/object_oriented.rb
+- examples/palindrome_detection.rb
 - examples/parsing.rb
+- examples/permutation.rb
+- examples/prefix.rb
+- examples/primality_by_division.rb
 - examples/primitives.rb
-- examples/theory.rb
+- examples/sieve_of_eratosthenes.rb
+- examples/string_interpolation.rb
+- examples/sudoku.rb
+- examples/tracing.rb
+- lib/rspec/rubylog.rb
 - lib/rubylog.rb
-- lib/rubylog/builtins/default.rb
+- lib/rubylog/assertable.rb
+- lib/rubylog/builtins.rb
+- lib/rubylog/builtins/arithmetics.rb
+- lib/rubylog/builtins/assumption.rb
+- lib/rubylog/builtins/ensure.rb
 - lib/rubylog/builtins/file_system.rb
 - lib/rubylog/builtins/logic.rb
 - lib/rubylog/builtins/reflection.rb
 - lib/rubylog/builtins/term.rb
-- lib/rubylog/dsl.rb
+- lib/rubylog/clause.rb
+- lib/rubylog/compound_term.rb
+- lib/rubylog/context.rb
+- lib/rubylog/context_creation.rb
+- lib/rubylog/context_modules/checks.rb
+- lib/rubylog/context_modules/demonstration.rb
+- lib/rubylog/context_modules/predicates.rb
+- lib/rubylog/context_modules/primitives.rb
+- lib/rubylog/context_modules/thats.rb
+- lib/rubylog/default_context.rb
 - lib/rubylog/dsl/array_splat.rb
 - lib/rubylog/dsl/primitives.rb
 - lib/rubylog/dsl/thats.rb
 - lib/rubylog/dsl/variables.rb
 - lib/rubylog/errors.rb
-- lib/rubylog/interfaces/assertable.rb
-- lib/rubylog/interfaces/callable.rb
-- lib/rubylog/interfaces/composite_term.rb
-- lib/rubylog/interfaces/predicate.rb
-- lib/rubylog/interfaces/procedure.rb
-- lib/rubylog/interfaces/term.rb
 - lib/rubylog/mixins/array.rb
-- lib/rubylog/mixins/class.rb
 - lib/rubylog/mixins/hash.rb
 - lib/rubylog/mixins/kernel.rb
 - lib/rubylog/mixins/method.rb
@@ -166,45 +149,16 @@ files:
 - lib/rubylog/mixins/proc.rb
 - lib/rubylog/mixins/string.rb
 - lib/rubylog/mixins/symbol.rb
-- lib/rubylog/simple_procedure.rb
+- lib/rubylog/nullary_predicates.rb
+- lib/rubylog/predicate.rb
+- lib/rubylog/primitive.rb
+- lib/rubylog/procedure.rb
+- lib/rubylog/rule.rb
 - lib/rubylog/structure.rb
-- lib/rubylog/theory.rb
+- lib/rubylog/term.rb
+- lib/rubylog/tracing.rb
 - lib/rubylog/variable.rb
-- logic/builtins/file_system_logic.rb
-- logic/builtins/reflection_logic.rb
-- logic/dereference_logic.rb
-- logic/directory_structure_logic.rb
-- logic/dsl_logic.rb
-- logic/errors_logic.rb
-- logic/guard_logic.rb
-- logic/list_logic.rb
-- logic/map_logic.rb
-- logic/multitheory.rb
-- logic/recursion_logic.rb
-- logic/string_logic.rb
-- logic/thats_logic.rb
-- logic/variable_logic.rb
 - rubylog.gemspec
-- spec/bartak_guide_spec.rb
-- spec/builtins/all_spec.rb
-- spec/builtins/and_spec.rb
-- spec/builtins/array_spec.rb
-- spec/builtins/branch_or_spec.rb
-- spec/builtins/cut_spec.rb
-- spec/builtins/fail_spec.rb
-- spec/builtins/false_spec.rb
-- spec/builtins/in_spec.rb
-- spec/builtins/is_false_spec.rb
-- spec/builtins/is_spec.rb
-- spec/builtins/matches_spec.rb
-- spec/builtins/or_spec.rb
-- spec/builtins/splits_to.rb
-- spec/builtins/then_spec.rb
-- spec/builtins/true_spec.rb
-- spec/clause_spec.rb
-- spec/compilation_spec.rb
-- spec/custom_classes_spec.rb
-- spec/dereference.rb
 - spec/inriasuite/README
 - spec/inriasuite/abolish
 - spec/inriasuite/and
@@ -273,14 +227,40 @@ files:
 - spec/inriasuite/true
 - spec/inriasuite/unify
 - spec/inriasuite_spec.rb
-- spec/queries_spec.rb
-- spec/recursion_spec.rb
-- spec/ruby_code_spec.rb
-- spec/rules_spec.rb
+- spec/integration/custom_classes_spec.rb
+- spec/integration/dsl_spec.rb
+- spec/integration/recursion_spec.rb
+- spec/integration/theory_as_module_spec.rb
+- spec/integration/theory_as_module_with_include_spec.rb
+- spec/rspec/rubylog_spec.rb
+- spec/rubylog/assertable_spec.rb
+- spec/rubylog/builtins/arithmetics_spec.rb
+- spec/rubylog/builtins/assumption_spec.rb
+- spec/rubylog/builtins/ensure_spec.rb
+- spec/rubylog/builtins/file_system_spec.rb
+- spec/rubylog/builtins/logic_spec.rb
+- spec/rubylog/builtins/reflection_spec.rb
+- spec/rubylog/builtins/term_spec.rb
+- spec/rubylog/context_modules/demonstration_spec.rb
+- spec/rubylog/context_modules/predicates_spec.rb
+- spec/rubylog/context_modules/thats_spec.rb
+- spec/rubylog/dsl/array_splat_spec.rb
+- spec/rubylog/dsl/primitives_spec.rb
+- spec/rubylog/errors_spec.rb
+- spec/rubylog/interfaces/term_spec.rb
+- spec/rubylog/mixins/array_spec.rb
+- spec/rubylog/mixins/composite_term_spec.rb
+- spec/rubylog/mixins/proc_spec.rb
+- spec/rubylog/mixins/string_spec.rb
+- spec/rubylog/mixins/symbol_spec.rb
+- spec/rubylog/structure_spec.rb
+- spec/rubylog/term_spec.rb
+- spec/rubylog/tracing_spec.input
+- spec/rubylog/tracing_spec.rb
+- spec/rubylog/variable_spec.rb
 - spec/spec_helper.rb
-- spec/theory_spec.rb
-- spec/unification_spec.rb
-- spec/variable_spec.rb
+- vimrc
+- README.rdoc.orig
 homepage: https://github.com/cie/rubylog
 licenses:
 - MIT
@@ -296,17 +276,17 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '0'
       segments:
       - 0
-      hash: -824234275
+      hash: 34493633
 required_rubygems_version: !ruby/object:Gem::Requirement
   none: false
   requirements:
-  - - ! '>='
+  - - ! '>'
     - !ruby/object:Gem::Version
-      version: '0'
+      version: 1.3.1
 requirements: []
 rubyforge_project: 
 rubygems_version: 1.8.15
 signing_key: 
 specification_version: 3
-summary: An embedded Prolog interpreter
+summary: A Prolog-like DSL
 test_files: []

data/README.hu.rb

@@ -1,58 +0,0 @@
-# Rubylog
-
-# A Rubylog a Prologhoz hasonló programozási nyelv.
-
-# A Prolog program alapköve a funktorból és argumentumokból álló term:
-likes("John", "beer")
-
-# A Rubylog programban a funktor az első argumentum után áll:
-"John".likes("beer")
-
-# A prolog programot tények és szabályok alkotják.
-likes("John", "beer").
-drinks(X,D) :- likes(X,D).
-
-# Rubylogban hasonlóan, a tényeket ! jelzi, a szabályokat 'if'
-"John".likes! "beer"
-X.drinks(D).if X.likes(D)
-
-# A nulláris predikátumok a Rubylogban szimbólumok:
-:true
-:fail
-:cut!
-
-# A Prolog operátorok helyett Rubylogban sokszor szavakat használunk:
-#  Prolog   Rubylog
-     :-        if
-     ,         and
-     ;         or
-     \+        false
-     =         is
-
-# A jobb hangzás érdekében néhány Prolog beépített predikátum neve más
-# Rubylogban
-#  Prolog   Rubylog
-     member    in
-# HAsonlít de többet tud
-
-# Vannak
-     all
-     any
-     one
-     none
-
-     # Reflection
-     list structure follows_from
-
-
-# Azért nem vezettünk be
-     {a:b}.is {a}
-     {}.isnt {a:b}
-# -t, mert akkor nem lenne kummutatív az unifikáció, és az egyáltalán nem POLA.
-# Azért nem vezettünk be
-     {a:b}.is {}
-# -t, mert az nagyon bonyolult, és nem POLA. Ezért marad
-     {a:b}.is {a:b}
-# és lehet
-     {a:b}.merge!(X)
-# akár.