rubylog 0.0.0

data/spec/spec_helper.rb

@@ -0,0 +1,12 @@
+$LOAD_PATH.unshift(File.join(File.dirname(__FILE__), '..', 'lib'))
+$LOAD_PATH.unshift(File.dirname(__FILE__))
+require 'rspec'
+require 'rubylog'
+
+# Requires supporting files with custom matchers and macros, etc,
+# in ./support/ and its subdirectories.
+Dir["#{File.dirname(__FILE__)}/support/**/*.rb"].each {|f| require f}
+
+RSpec.configure do |config|
+  
+end

data/spec/theory_spec.rb

@@ -0,0 +1 @@
+

metadata

@@ -0,0 +1,339 @@
+--- !ruby/object:Gem::Specification 
+name: rubylog
+version: !ruby/object:Gem::Version 
+  hash: 31
+  prerelease: false
+  segments: 
+  - 0
+  - 0
+  - 0
+  segments_generated: true
+  version: 0.0.0
+platform: ruby
+authors: 
+- "Bern\xC3\xA1t Kall\xC3\xB3"
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2012-02-07 00:00:00 +01:00
+default_executable: 
+dependencies: 
+- !ruby/object:Gem::Dependency 
+  prerelease: false
+  name: rspec
+  version_requirements: &id001 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ~>
+      - !ruby/object:Gem::Version 
+        hash: 47
+        segments: 
+        - 2
+        - 8
+        - 0
+        segments_generated: true
+        version: 2.8.0
+  requirement: *id001
+  type: :development
+- !ruby/object:Gem::Dependency 
+  prerelease: false
+  name: yard
+  version_requirements: &id002 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ~>
+      - !ruby/object:Gem::Version 
+        hash: 5
+        segments: 
+        - 0
+        - 7
+        segments_generated: true
+        version: "0.7"
+  requirement: *id002
+  type: :development
+- !ruby/object:Gem::Dependency 
+  prerelease: false
+  name: rdoc
+  version_requirements: &id003 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ~>
+      - !ruby/object:Gem::Version 
+        hash: 31
+        segments: 
+        - 3
+        - 12
+        segments_generated: true
+        version: "3.12"
+  requirement: *id003
+  type: :development
+- !ruby/object:Gem::Dependency 
+  prerelease: false
+  name: cucumber
+  version_requirements: &id004 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        hash: 3
+        segments: 
+        - 0
+        segments_generated: true
+        version: "0"
+  requirement: *id004
+  type: :development
+- !ruby/object:Gem::Dependency 
+  prerelease: false
+  name: bundler
+  version_requirements: &id005 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ~>
+      - !ruby/object:Gem::Version 
+        hash: 23
+        segments: 
+        - 1
+        - 0
+        - 0
+        segments_generated: true
+        version: 1.0.0
+  requirement: *id005
+  type: :development
+- !ruby/object:Gem::Dependency 
+  prerelease: false
+  name: jeweler
+  version_requirements: &id006 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ~>
+      - !ruby/object:Gem::Version 
+        hash: 49
+        segments: 
+        - 1
+        - 8
+        - 3
+        segments_generated: true
+        version: 1.8.3
+  requirement: *id006
+  type: :development
+- !ruby/object:Gem::Dependency 
+  prerelease: false
+  name: simplecov
+  version_requirements: &id007 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        hash: 3
+        segments: 
+        - 0
+        segments_generated: true
+        version: "0"
+  requirement: *id007
+  type: :development
+- !ruby/object:Gem::Dependency 
+  prerelease: false
+  name: reek
+  version_requirements: &id008 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ~>
+      - !ruby/object:Gem::Version 
+        hash: 15
+        segments: 
+        - 1
+        - 2
+        - 8
+        segments_generated: true
+        version: 1.2.8
+  requirement: *id008
+  type: :development
+- !ruby/object:Gem::Dependency 
+  prerelease: false
+  name: roodi
+  version_requirements: &id009 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ~>
+      - !ruby/object:Gem::Version 
+        hash: 11
+        segments: 
+        - 2
+        - 1
+        - 0
+        segments_generated: true
+        version: 2.1.0
+  requirement: *id009
+  type: :development
+description: Rubylog is an embedded Prolog language and interpreter for Ruby.
+email: kallo.bernat@gmail.com
+executables: []
+
+extensions: []
+
+extra_rdoc_files: 
+- LICENSE.txt
+- README.rdoc
+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
+has_rdoc: true
+homepage: https://github.com/cie/rubylog
+licenses: 
+- MIT
+post_install_message: 
+rdoc_options: []
+
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  none: false
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      hash: 3
+      segments: 
+      - 0
+      segments_generated: true
+      version: "0"
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  none: false
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      hash: 3
+      segments: 
+      - 0
+      segments_generated: true
+      version: "0"
+requirements: []
+
+rubyforge_project: 
+rubygems_version: 1.3.7
+signing_key: 
+specification_version: 3
+summary: An embedded Prolog interpreter
+test_files: []
+