rubylog 1.0.0 → 2.0pre1

data/lib/rubylog.rb

@@ -3,45 +3,49 @@
 module Rubylog
 end
 
-# rtl
-require 'set'
+#dir = File.dirname(__FILE__) + "/"
 
-dir = File.dirname(__FILE__) + "/"
+# tracing
+require 'rubylog/tracing'
 
 # interfaces
-require dir+'rubylog/interfaces/term'
-require dir+'rubylog/interfaces/callable'
-require dir+'rubylog/interfaces/assertable'
-require dir+'rubylog/interfaces/composite_term'
-require dir+'rubylog/interfaces/predicate'
-require dir+'rubylog/interfaces/procedure'
+require 'rubylog/term'
+require 'rubylog/clause'
+require 'rubylog/assertable'
+require 'rubylog/compound_term'
 
 # helpers
-require dir+'rubylog/dsl'
-require dir+'rubylog/dsl/variables'
-require dir+'rubylog/dsl/primitives'
-require dir+'rubylog/dsl/array_splat'
-require dir+'rubylog/dsl/thats'
-require dir+'rubylog/errors'
-
-# classes
-require dir+'rubylog/theory'
-require dir+'rubylog/simple_procedure'
-require dir+'rubylog/variable'
-require dir+'rubylog/structure'
+require 'rubylog/errors'
+require 'rubylog/tracing'
+require 'rubylog/nullary_predicates'
 
-# builtins
-require dir+'rubylog/builtins/default'
+# objects
+require 'rubylog/predicate'
+require 'rubylog/procedure'
+require 'rubylog/primitive'
+require 'rubylog/context'
+
+# structure
+require 'rubylog/structure'
+
+# helpers
+require 'rubylog/context_creation'
 
 # mixins
-require dir+'rubylog/mixins/array'
-require dir+'rubylog/mixins/class'
-require dir+'rubylog/mixins/hash'
-require dir+'rubylog/mixins/kernel'
-require dir+'rubylog/mixins/method'
-require dir+'rubylog/mixins/object'
-require dir+'rubylog/mixins/proc'
-require dir+'rubylog/mixins/string'
-require dir+'rubylog/mixins/symbol'
+require 'rubylog/mixins/array'
+require 'rubylog/mixins/hash'
+require 'rubylog/mixins/kernel'
+require 'rubylog/mixins/method'
+require 'rubylog/mixins/object'
+require 'rubylog/mixins/proc'
+require 'rubylog/mixins/string'
+require 'rubylog/mixins/symbol'
+
+# defaul context
+require 'rubylog/default_context'
+
+# builtins
+require 'rubylog/builtins'
+
 
 

data/rubylog.gemspec

@@ -5,18 +5,17 @@
 
 Gem::Specification.new do |s|
   s.name = "rubylog"
-  s.version = "1.0.0"
+  s.version = "2.0pre1"
 
-  s.required_rubygems_version = Gem::Requirement.new(">= 0") if s.respond_to? :required_rubygems_version=
+  s.required_rubygems_version = Gem::Requirement.new("> 1.3.1") if s.respond_to? :required_rubygems_version=
   s.authors = ["Bern\u{e1}t Kall\u{f3}"]
-  s.date = "2013-02-27"
-  s.description = "Rubylog is an embedded Prolog language and interpreter for Ruby."
+  s.date = "2013-05-02"
+  s.description = "Rubylog is a Prolog-like DSL for Ruby."
   s.email = "kallo.bernat@gmail.com"
-  s.executables = ["rubylog"]
   s.extra_rdoc_files = [
     "LICENSE.txt",
-    "README.hu.rb",
-    "README.rdoc"
+    "README.rdoc",
+    "README.rdoc.orig"
   ]
   s.files = [
     ".document",
@@ -24,40 +23,65 @@ Gem::Specification.new do |s|
     "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",
@@ -65,45 +89,16 @@ Gem::Specification.new do |s|
     "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",
@@ -172,55 +167,68 @@ Gem::Specification.new do |s|
     "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"
   ]
   s.homepage = "https://github.com/cie/rubylog"
   s.licenses = ["MIT"]
   s.require_paths = ["lib"]
   s.rubygems_version = "1.8.15"
-  s.summary = "An embedded Prolog interpreter"
+  s.summary = "A Prolog-like DSL"
 
   if s.respond_to? :specification_version then
     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<rspec>, ["< 3", ">= 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<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<rspec>, ["< 3", ">= 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<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<rspec>, ["< 3", ">= 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<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