rubylog 0.0.1 → 1.0.0

data/spec/unification_spec.rb

@@ -0,0 +1,84 @@
+theory "Uni" do
+  subject Symbol
+  functor :likes
+end
+
+describe "unification" do
+  it "works for variables" do
+    result = false
+    A.rubylog_unify(12) { result = true }
+    result.should == true
+  end
+  it "works for used classes" do
+    result = false
+    :john.rubylog_unify(A) { result = true }
+    result.should == true
+  end
+  it "works for constants" do
+    result = false
+    :john.rubylog_unify(:john) { result = true }
+    result.should == true
+  end
+  it "fails for different constants" do
+    result = false
+    :john.rubylog_unify(:mary) { result = true }
+    result.should == false
+  end
+  it "works on clauses" do
+    result = false
+    (:john.likes :beer).rubylog_unify(A.likes B) { result = true }
+    result.should == true
+  end
+  it "works on clauses with equal values" do
+    result = false
+    (:john.likes :beer).rubylog_unify(:john.likes :beer) { result = true }
+    result.should == true
+  end
+  it "works on clauses with different values" do
+    result = false
+    (:john.likes :beer).rubylog_unify(:john.likes :milk) { result = true }
+    result.should == false
+  end
+  it "works on clauses with variables and equal values" do
+    result = false
+    (:john.likes :beer).rubylog_unify(X.likes :beer) { result = true }
+    result.should == true
+  end
+  it "works on clauses with variables and equal values #2" do
+    result = false
+    (:john.likes :beer).rubylog_unify(:john.likes DRINK) { result = true }
+    result.should == true
+  end
+  it "works on clauses with variables and different values" do
+    result = false
+    (:john.likes :beer).rubylog_unify(X.likes :milk) { result = true }
+    result.should == false
+  end
+  it "works on clauses with variables and different values #2" do
+    result = false
+    (:john.likes :beer).rubylog_unify(:jane.likes D) { result = true }
+    result.should == false
+  end
+
+  it "works on clauses with repeated variables #1" do
+    result = false
+    (A.likes A).rubylog_compile_variables.rubylog_unify(:john.likes :jane) { result = true }
+    result.should == false
+    (A.likes A).rubylog_compile_variables.rubylog_unify(:john.likes :john) { result = true }
+    result.should == true
+  end
+  it "works on clauses with repeated variables #1" do
+    result = false
+    (:john.likes :jane).rubylog_unify(A.likes(A).rubylog_compile_variables) { result = true }
+    result.should == false
+    (:john.likes :john).rubylog_unify(A.likes(A).rubylog_compile_variables) { result = true }
+    result.should == true
+  end
+
+  it "works for second-order variables" do
+    result = false
+    (:john.likes :beer).rubylog_unify(A) { result = true }
+    result.should == true
+  end
+
+end

data/spec/variable_spec.rb

@@ -0,0 +1,26 @@
+require 'rubylog'
+
+theory "Vars" do
+end
+describe "variables" do
+  it "are undefined constants" do 
+    [A, SomethingLong].each{|x|x.should be_kind_of Rubylog::Variable}
+  end
+
+  it "support ==" do 
+    A.should == A
+  end
+
+  it "support eql?" do
+    A.should be_eql A
+  end
+
+  it "returns different instances" do
+    A.should_not be_equal A
+  end
+
+  specify "that start with ANY... are dont care" 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

metadata

@@ -1,230 +1,210 @@
---- !ruby/object:Gem::Specification 
+--- !ruby/object:Gem::Specification
 name: rubylog
-version: !ruby/object:Gem::Version 
-  hash: 29
-  prerelease: false
-  segments: 
-  - 0
-  - 0
-  - 1
-  segments_generated: true
-  version: 0.0.1
+version: !ruby/object:Gem::Version
+  version: 1.0.0
+  prerelease: 
 platform: ruby
-authors: 
-- "Bern\xC3\xA1t Kall\xC3\xB3"
+authors:
+- Bernát Kalló
 autorequire: 
 bindir: bin
 cert_chain: []
-
-date: 2012-02-07 00:00:00 +01:00
-default_executable: 
-dependencies: 
-- !ruby/object:Gem::Dependency 
-  prerelease: false
+date: 2013-02-27 00:00:00.000000000Z
+dependencies:
+- !ruby/object:Gem::Dependency
   name: rspec
-  version_requirements: &id001 !ruby/object:Gem::Requirement 
+  requirement: &87769710 !ruby/object:Gem::Requirement
     none: false
-    requirements: 
+    requirements:
     - - ~>
-      - !ruby/object:Gem::Version 
-        hash: 47
-        segments: 
-        - 2
-        - 8
-        - 0
-        segments_generated: true
+      - !ruby/object:Gem::Version
         version: 2.8.0
-  requirement: *id001
   type: :development
-- !ruby/object:Gem::Dependency 
   prerelease: false
+  version_requirements: *87769710
+- !ruby/object:Gem::Dependency
   name: yard
-  version_requirements: &id002 !ruby/object:Gem::Requirement 
+  requirement: &87769290 !ruby/object:Gem::Requirement
     none: false
-    requirements: 
+    requirements:
     - - ~>
-      - !ruby/object:Gem::Version 
-        hash: 5
-        segments: 
-        - 0
-        - 7
-        segments_generated: true
-        version: "0.7"
-  requirement: *id002
+      - !ruby/object:Gem::Version
+        version: '0.7'
   type: :development
-- !ruby/object:Gem::Dependency 
   prerelease: false
+  version_requirements: *87769290
+- !ruby/object:Gem::Dependency
   name: rdoc
-  version_requirements: &id003 !ruby/object:Gem::Requirement 
+  requirement: &87768850 !ruby/object:Gem::Requirement
     none: false
-    requirements: 
+    requirements:
     - - ~>
-      - !ruby/object:Gem::Version 
-        hash: 31
-        segments: 
-        - 3
-        - 12
-        segments_generated: true
-        version: "3.12"
-  requirement: *id003
+      - !ruby/object:Gem::Version
+        version: '3.12'
   type: :development
-- !ruby/object:Gem::Dependency 
   prerelease: false
+  version_requirements: *87768850
+- !ruby/object:Gem::Dependency
   name: cucumber
-  version_requirements: &id004 !ruby/object:Gem::Requirement 
+  requirement: &87722730 !ruby/object:Gem::Requirement
     none: false
-    requirements: 
-    - - ">="
-      - !ruby/object:Gem::Version 
-        hash: 3
-        segments: 
-        - 0
-        segments_generated: true
-        version: "0"
-  requirement: *id004
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
   type: :development
-- !ruby/object:Gem::Dependency 
   prerelease: false
+  version_requirements: *87722730
+- !ruby/object:Gem::Dependency
   name: bundler
-  version_requirements: &id005 !ruby/object:Gem::Requirement 
+  requirement: &87722330 !ruby/object:Gem::Requirement
     none: false
-    requirements: 
+    requirements:
     - - ~>
-      - !ruby/object:Gem::Version 
-        hash: 23
-        segments: 
-        - 1
-        - 0
-        - 0
-        segments_generated: true
+      - !ruby/object:Gem::Version
         version: 1.0.0
-  requirement: *id005
   type: :development
-- !ruby/object:Gem::Dependency 
   prerelease: false
+  version_requirements: *87722330
+- !ruby/object:Gem::Dependency
   name: jeweler
-  version_requirements: &id006 !ruby/object:Gem::Requirement 
+  requirement: &87721950 !ruby/object:Gem::Requirement
     none: false
-    requirements: 
+    requirements:
     - - ~>
-      - !ruby/object:Gem::Version 
-        hash: 49
-        segments: 
-        - 1
-        - 8
-        - 3
-        segments_generated: true
+      - !ruby/object:Gem::Version
         version: 1.8.3
-  requirement: *id006
   type: :development
-- !ruby/object:Gem::Dependency 
   prerelease: false
+  version_requirements: *87721950
+- !ruby/object:Gem::Dependency
   name: simplecov
-  version_requirements: &id007 !ruby/object:Gem::Requirement 
+  requirement: &87721520 !ruby/object:Gem::Requirement
     none: false
-    requirements: 
-    - - ">="
-      - !ruby/object:Gem::Version 
-        hash: 3
-        segments: 
-        - 0
-        segments_generated: true
-        version: "0"
-  requirement: *id007
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
   type: :development
-- !ruby/object:Gem::Dependency 
   prerelease: false
+  version_requirements: *87721520
+- !ruby/object:Gem::Dependency
   name: reek
-  version_requirements: &id008 !ruby/object:Gem::Requirement 
+  requirement: &87721210 !ruby/object:Gem::Requirement
     none: false
-    requirements: 
+    requirements:
     - - ~>
-      - !ruby/object:Gem::Version 
-        hash: 15
-        segments: 
-        - 1
-        - 2
-        - 8
-        segments_generated: true
+      - !ruby/object:Gem::Version
         version: 1.2.8
-  requirement: *id008
   type: :development
-- !ruby/object:Gem::Dependency 
   prerelease: false
+  version_requirements: *87721210
+- !ruby/object:Gem::Dependency
   name: roodi
-  version_requirements: &id009 !ruby/object:Gem::Requirement 
+  requirement: &87720840 !ruby/object:Gem::Requirement
     none: false
-    requirements: 
+    requirements:
     - - ~>
-      - !ruby/object:Gem::Version 
-        hash: 11
-        segments: 
-        - 2
-        - 1
-        - 0
-        segments_generated: true
+      - !ruby/object:Gem::Version
         version: 2.1.0
-  requirement: *id009
   type: :development
+  prerelease: false
+  version_requirements: *87720840
 description: Rubylog is an embedded Prolog language and interpreter for Ruby.
 email: kallo.bernat@gmail.com
-executables: []
-
+executables:
+- rubylog
 extensions: []
-
-extra_rdoc_files: 
+extra_rdoc_files:
 - LICENSE.txt
+- README.hu.rb
 - README.rdoc
-files: 
+files:
 - .document
 - .rspec
 - Gemfile
 - Gemfile.lock
 - LICENSE.txt
+- README.hu.rb
 - README.rdoc
 - Rakefile
 - VERSION
-- examples/4queens.rb
-- examples/calculation.rb
-- examples/concepts.rb
+- bin/rubylog
+- examples/dcg.rb
+- examples/dcg2.rb
+- examples/enumerators.rb
 - examples/factorial.rb
-- examples/fp.rb
+- examples/hanoi.rb
 - examples/hello.rb
-- examples/historia_de_espana.rb
-- examples/idea.rb
-- examples/lists.rb
-- examples/mechanika.rb
-- examples/parse.rb
+- examples/parsing.rb
+- examples/primitives.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/builtins/default.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/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/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/internal_helpers.rb
-- lib/rubylog/predicate.rb
-- lib/rubylog/proc_method_additions.rb
-- lib/rubylog/term.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
+- lib/rubylog/mixins/object.rb
+- lib/rubylog/mixins/proc.rb
+- lib/rubylog/mixins/string.rb
+- lib/rubylog/mixins/symbol.rb
+- lib/rubylog/simple_procedure.rb
+- lib/rubylog/structure.rb
 - lib/rubylog/theory.rb
-- lib/rubylog/unifiable.rb
 - lib/rubylog/variable.rb
-- lib/symbol.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
-- script/inriasuite2spec
-- script/inriasuite2spec.pl
 - spec/bartak_guide_spec.rb
-- spec/inriasuite.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
@@ -292,48 +272,41 @@ files:
 - spec/inriasuite/term_lt=
 - spec/inriasuite/true
 - spec/inriasuite/unify
+- spec/inriasuite_spec.rb
+- spec/queries_spec.rb
 - 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/ruby_code_spec.rb
+- spec/rules_spec.rb
 - spec/spec_helper.rb
 - spec/theory_spec.rb
-has_rdoc: true
+- spec/unification_spec.rb
+- spec/variable_spec.rb
 homepage: https://github.com/cie/rubylog
-licenses: 
+licenses:
 - MIT
 post_install_message: 
 rdoc_options: []
-
-require_paths: 
+require_paths:
 - lib
-required_ruby_version: !ruby/object:Gem::Requirement 
+required_ruby_version: !ruby/object:Gem::Requirement
   none: false
-  requirements: 
-  - - ">="
-    - !ruby/object:Gem::Version 
-      hash: 3
-      segments: 
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+      segments:
       - 0
-      segments_generated: true
-      version: "0"
-required_rubygems_version: !ruby/object:Gem::Requirement 
+      hash: -824234275
+required_rubygems_version: !ruby/object:Gem::Requirement
   none: false
-  requirements: 
-  - - ">="
-    - !ruby/object:Gem::Version 
-      hash: 3
-      segments: 
-      - 0
-      segments_generated: true
-      version: "0"
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
 requirements: []
-
 rubyforge_project: 
-rubygems_version: 1.3.7
+rubygems_version: 1.8.15
 signing_key: 
 specification_version: 3
 summary: An embedded Prolog interpreter
 test_files: []
-

data/examples/4queens.rb

@@ -1,10 +0,0 @@
-require "rubylog"
-
-Rubylog.use :variables, :implicit_predicates, String, Numeric
-
-4.queens!
-
-0.queens! []
-N.queens
-
-

data/examples/calculation.rb

@@ -1,12 +0,0 @@
-require 'rubylog'
-
-Rubylog.use :variables, :implicit_predicates, String
-
-Rubylog::Theory.new do
-  A.write.if {|a| puts a or true}
-  :hello.if "Hello, world!".write
-  :hello.prove
-end
-
-
-

data/examples/concepts.rb

@@ -1,46 +0,0 @@
-
-X.clause.if X.fact
-X.clause.if X.rule
-X.clause.if X.query
-
-X.comment.if X.starts_with('%')
-
-X.predicate.if X.procedure
-
-X.procedure.if X.has_many(clause)
-
-
-X.operator.if X.comparison_operator
-X.operator.if X.arithmetic_operator
-
-X.comparison_operator.if X.arithmetic_comparison_operator.or X.unification_style_operator
-
-X.unification_style_operator.if X === :===
-X.unification_style_operator.if X === :==
-
-X.arithmetic_comparison_operator.if X === :<
-X.arithmetic_comparison_operator.if X === :<=
-X.arithmetic_comparison_operator.if X === :>
-X.arithmetic_comparison_operator.if X === :>=
-
-X.arithmetic_operator.if X === :+
-X.arithmetic_operator.if X === :-
-X.arithmetic_operator.if X === :-@
-X.arithmetic_operator.if X === :*
-X.arithmetic_operator.if X === :/
-X.arithmetic_operator.if X === :%
-X.arithmetic_operator.if X === :**
-X.arithmetic_operator.if X === :<=>
-X.arithmetic_operator.if X === :&
-X.arithmetic_operator.if X === :|
-X.arithmetic_operator.if X === :^
-X.arithmetic_operator.if X === :~
-X.arithmetic_operator.if X === :<<
-X.arithmetic_operator.if X === :>>
-
-
-
-
-X.builtin.if X === :arg
-X.builtin.if X === :forget
-

data/examples/fp.rb

@@ -1,56 +0,0 @@
-=begin
-
-This is a port of some little Haskell programs
-
-
-
-
-
-zipPair :: ([a],[b]) -> [(a,b)]
--- zipPair = uncurry zip
-zipPair (_,[]) = []
-zipPair ([],_) = []
-zipPair ((a:as), (b:bs)) = (a,b) : zipPair (as,bs)
-
-=end
-
-class << Rubylog::Theory.new!
-
-  rubylog_functor 
-
-  # multiply 0 _ = []
-  # multiply n k = k : multiply (n-1) k
-  #
-  (N.times X, XS).if XS.is{|n,x| n*[x] }
-
-
-  # dividers n = filter (`divides` n) [1..n `div` 2] 
-  #   where a `divides` b = b `mod` a == 0
-  # isPerfectNumber n = n == (sum $ dividers n)
-
-  (A.divides B).if {|a,b| b % a == 0}
-  (A.divider_of B).if A.in{|a,b| (1..b%2)}.and A.divides B
-  (N.perfect_number).if DS.is{|n| (D.divider_of n).to_a }.and DS.sum N
-  (L.sum S).if S.is{|l| l.inject(0){|a,b|a+b}}
-
-
-
-  # mirrorList [] = []
-  # mirrorList (a:as) = mirrorList as ++ [a]
-  (L.mirrored M).if M.is{|l|l.reverse}
-
-
-  # intermix [] _ = []
-  # intermix [a] _ = [a]
-  # intermix (a:as) b = a:b:intermix as b
-  (L.intermix E, M).if M.is{|l,e|l[1..-1].inject [l[0]] {|a,b| a << e << b }}
-  # possible:
-  #([].intermix ANY, [])
-  #([A].intermix ANY, [A])
-  #((:|[A,AS]).intermix B, :|[A,B,L]).if (AS.intermix B, L)
-
-
-end
-
-
-