ruby-prolog 0.0.5 → 1.0.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 95ccd423807966099f72796cd208b6f6f3a67e04
+  data.tar.gz: e7466c847b517b701e7af1e7ed0d3a475e0120fb
+SHA512:
+  metadata.gz: 12038b878dd73582ed9dd113145f87a1275a1b6ce754ce8c7a802c4a68f0e3eb44e6fc3b0c91d0ab167fa929155b3bf8801ea671fb12d1ada5caa4f3b9d05f1f
+  data.tar.gz: bbaa1e1e15f8a851760b82178fa2b19ff66a68f0d1b0e7c57a9b74e9762415c6f6651fcb30f1dbd2e136689e8161c6f5f17c25df85373834f71503d5772399b3

data/.gitignore

@@ -0,0 +1,18 @@
+*.gem
+*.rbc
+.bundle
+.config
+.yardoc
+Gemfile.lock
+InstalledFiles
+_yardoc
+coverage
+doc/
+lib/bundler/man
+pkg
+rdoc
+spec/reports
+test/tmp
+test/version_tmp
+tmp
+**/.DS_Store

data/Gemfile

@@ -0,0 +1,4 @@
+source 'https://rubygems.org'
+ruby '2.0.0'
+
+gemspec

data/NOTICE

@@ -0,0 +1,5 @@
+ruby-prolog
+Copyright 2013 Preston Lee. All rights reserved.
+
+This product includes software developed by Preston Lee.
+For further information, see http://www.prestonlee.com.

data/README.md

@@ -0,0 +1,50 @@
+ruby_prolog
+====
+
+An object-oriented pure Ruby implementation of a Prolog-like DSL for easy AI and logical programming. It should work under all popular Ruby interpreters. Please report compatibility problems.
+
+The core engine is largely based on tiny_prolog, though numerous additional enhancements have been made
+such as object-oriented refactorings and integration of ideas from the interwebs. Unfortunately I cannot
+read Japanese and cannot give proper attribution to the original tiny_prolog author. (If *you* can, let
+me know and I'll update this document!)
+
+
+Usage
+----
+
+Two runnable examples are included in the 'bin' directory. The first..
+
+    ruby-prolog-hanoi
+
+..is a ruby-prolog solution to the well-known "Towers of Hanoi" problem in computer science. The second..
+
+    ruby-prolog-acls
+
+..shows the ruby-prolog DSL can be trivially used to implement an access control system. If you have some other useful or clever examples, please contribute them!
+
+
+Features
+----
+
+* Pure Ruby.
+* Tested with Ruby 2.0.0! 
+* Object-oriented.
+* Multiple Prolog environments can be created and manipulated simultaneously.
+* Concurrent access to different core instances should be safe.
+* Concurrent access to a single core instance might probably explode in odd ways.
+
+
+Installation
+----
+
+    gem install ruby_prolog
+
+See ruby_prolog_spec.rb for usage examples. 
+
+
+License
+----
+
+Released under the Apache 2 license.
+
+Copyright (c) 2013 Preston Lee. All rights reserved. http://prestonlee.com

data/Rakefile

@@ -1,10 +1,12 @@
-require 'echoe'  
-Echoe.new("ruby-prolog") do |p|
-    p.author = "Preston Lee"
-    p.summary = "A Prolog-ish Ruby DSL."
-    p.url = "http://www.openrain.com.com"
-    # p.docs_host = "uncapitalizer.com:~/www/files/doc/"
-    # p.runtime_dependencies = ["string_tools >=1.4.0"]
-    p.version = '0.0.5'
-    p.email = "preston.lee@openrain.com"
-end
+#!/usr/bin/env rake
+require "bundler/gem_tasks"
+ 
+require 'rake/testtask'
+ 
+Rake::TestTask.new do |t|
+  t.libs << 'lib/ruby-prolog'
+  t.test_files = FileList['test/lib/ruby-prolog/*_test.rb']
+  t.verbose = true
+end
+ 
+task :default => :test

data/{examples/acls.rb → bin/ruby-prolog-acls}

@@ -1,4 +1,9 @@
-require 'rubygems'
+#!/usr/bin/env ruby
+#
+# By Preston Lee
+#
+
+$LOAD_PATH.unshift File.join(File.dirname(__FILE__), '..', 'lib')
 require 'ruby-prolog'
 
 c = RubyProlog::Core.new
@@ -48,7 +53,10 @@ c.instance_eval do
   
   # can_read_on_project[:U, :P] <<= [assigned[:U, :P, :R], role_can[:R, 'read']]
   can_on_project[:U, :X, :P] <<= [assigned[:U, :P, :R], role_can[:R, :X]]
-  is_role_on_multiple_projects[:U, :R] <<= [assigned[:U, :X, :R], assigned[:U, :Y, :R], noteq[:X, :Y]]
+  is_role_on_multiple_projects[:U, :R] <<= [
+    assigned[:U, :X, :R],
+    assigned[:U, :Y, :R],
+    noteq[:X, :Y]]
   # , noteq[:P1, :P2]
   
   puts 'Who does QA?'

data/{examples/hanoi.rb → bin/ruby-prolog-hanoi}

@@ -1,12 +1,14 @@
-require 'rubygems'
-require 'ruby-prolog'
+#!/usr/bin/env ruby
 
-# require File.join(File.dirname(__FILE__), %w[.. lib ruby-prolog])
+$LOAD_PATH.unshift File.join(File.dirname(__FILE__), '..', 'lib')
+require 'ruby-prolog'
 
 # Inspired by..
 # http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/2_3.html
 # http://eigenclass.org/hiki.rb?tiny+prolog+in+ruby
 
+# Adapted by Preston Lee.
+
 c = RubyProlog::Core.new
 c.instance_eval do
 

data/lib/ruby-prolog.rb

@@ -1,49 +1,4 @@
+require_relative 'ruby-prolog/ruby-prolog.rb'
 
 module RubyProlog
-
-  # :stopdoc:
-  VERSION = '0.0.5'
-  LIBPATH = ::File.expand_path(::File.dirname(__FILE__)) + ::File::SEPARATOR
-  PATH = ::File.dirname(LIBPATH) + ::File::SEPARATOR
-  # :startdoc:
-
-  # Returns the version string for the library.
-  #
-  def self.version
-    VERSION
-  end
-
-  # Returns the library path for the module. If any arguments are given,
-  # they will be joined to the end of the libray path using
-  # <tt>File.join</tt>.
-  #
-  def self.libpath( *args )
-    args.empty? ? LIBPATH : ::File.join(LIBPATH, args.flatten)
-  end
-
-  # Returns the lpath for the module. If any arguments are given,
-  # they will be joined to the end of the path using
-  # <tt>File.join</tt>.
-  #
-  def self.path( *args )
-    args.empty? ? PATH : ::File.join(PATH, args.flatten)
-  end
-
-  # Utility method used to rquire all files ending in .rb that lie in the
-  # directory below this file that has the same name as the filename passed
-  # in. Optionally, a specific _directory_ name can be passed in such that
-  # the _filename_ does not have to be equivalent to the directory.
-  #
-  def self.require_all_libs_relative_to( fname, dir = nil )
-    dir ||= ::File.basename(fname, '.*')
-    search_me = ::File.expand_path(
-        ::File.join(::File.dirname(fname), dir, '**', '*.rb'))
-
-    Dir.glob(search_me).sort.each {|rb| require rb}
-  end
-
-end  # module RubyProlog
-
-RubyProlog.require_all_libs_relative_to(__FILE__)
-
-# EOF
+end

data/lib/ruby-prolog/ruby-prolog.rb

@@ -1,5 +1,5 @@
 # Based on tiny_prolog h18.9/8
-
+# Fuglied by Preston Lee.
 module RubyProlog
 
   
@@ -39,7 +39,7 @@ module RubyProlog
       @pred, @args = pred, args
     end
 
-    def si(*rhs)                  # ラテン語の「もしも」
+    def si(*rhs)
       @pred.defs << [self, list(*rhs)]
     end
 
@@ -67,7 +67,7 @@ module RubyProlog
   end
 
 
-  # Lisp のリスト風の二項組
+  # Lisp
   class Cons < Array
 
     def initialize(car, cdr)
@@ -89,7 +89,6 @@ module RubyProlog
   end
 
 
-
   class Environment
 
     def initialize

data/lib/ruby-prolog/version.rb

@@ -0,0 +1,5 @@
+module RubyProlog
+
+	VERSION = '1.0.1'
+
+end

data/ruby-prolog.gemspec

@@ -1,31 +1,24 @@
-# -*- encoding: utf-8 -*-
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'ruby-prolog/version'
 
-Gem::Specification.new do |s|
-  s.name = %q{ruby-prolog}
-  s.version = "0.0.5"
+Gem::Specification.new do |spec|
+  spec.name          = "ruby-prolog"
+  spec.version       = RubyProlog::VERSION
+  spec.authors       = ["Preston Lee"]
+  spec.email         = ["preston.lee@prestonlee.com"]
+  spec.description   = "A Prolog-ish Ruby DSL."
+  spec.summary       = "A Prolog-ish Ruby DSL."
+  spec.homepage      = "http://github.com/preston/ruby-prolog"
+  spec.license       = "Apache 2"
 
-  s.required_rubygems_version = Gem::Requirement.new(">= 1.2") if s.respond_to? :required_rubygems_version=
-  s.authors = ["Preston Lee"]
-  s.date = %q{2009-02-09}
-  s.description = %q{A Prolog-ish Ruby DSL.}
-  s.email = %q{preston.lee@openrain.com}
-  s.extra_rdoc_files = ["lib/ruby-prolog/ruby-prolog.rb", "lib/ruby-prolog.rb", "README.txt"]
-  s.files = ["examples/acls.rb", "examples/hanoi.rb", "History.txt", "lib/ruby-prolog/ruby-prolog.rb", "lib/ruby-prolog.rb", "Manifest", "Rakefile", "README.txt", "spec/ruby-prolog_spec.rb", "spec/spec_helper.rb", "ruby-prolog.gemspec"]
-  s.has_rdoc = true
-  s.homepage = %q{http://www.openrain.com.com}
-  s.rdoc_options = ["--line-numbers", "--inline-source", "--title", "Ruby-prolog", "--main", "README.txt"]
-  s.require_paths = ["lib"]
-  s.rubyforge_project = %q{ruby-prolog}
-  s.rubygems_version = %q{1.3.1}
-  s.summary = %q{A Prolog-ish Ruby DSL.}
+  spec.files         = `git ls-files`.split($/)
+  spec.executables   = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
+  spec.test_files    = spec.files.grep(%r{^(test|spec|features)/})
+  spec.require_paths = ["lib"]
 
-  if s.respond_to? :specification_version then
-    current_version = Gem::Specification::CURRENT_SPECIFICATION_VERSION
-    s.specification_version = 2
-
-    if Gem::Version.new(Gem::RubyGemsVersion) >= Gem::Version.new('1.2.0') then
-    else
-    end
-  else
-  end
+  spec.add_development_dependency "bundler"
+  spec.add_development_dependency "rake"
+  spec.add_development_dependency "minitest"
 end

data/{spec/ruby-prolog_spec.rb → test/lib/ruby-prolog/ruby-prolog_test.rb}

@@ -1,35 +1,31 @@
 
-require File.join(File.dirname(__FILE__), %w[spec_helper])
+require_relative '../../test_helper'
 
 
-describe RubyProlog do
 
-  
-  # before :each do
-  # end
-  
+describe RubyProlog do  
   
   it 'should not pollute the global namespace with predicates.' do
     
     # We'll create numerous instances of the engine and assert they do not interfere with each other.
      one = RubyProlog::Core.new
      one.instance_eval do
-       query(male[:X]).length.should == 0
+       query(male[:X]).length.must_equal 0
      end
 
      two = RubyProlog::Core.new
      two.instance_eval do
        male[:preston].fact
-       query(male[:X]).length.should == 1
+       query(male[:X]).length.must_equal 1
      end
      
      three = RubyProlog::Core.new
      three.instance_eval do
-       query(male[:X]).length.should == 0
+       query(male[:X]).length.must_equal 0
      end
      
      one.instance_eval do
-       query(male[:X]).length.should == 0
+       query(male[:X]).length.must_equal 0
      end
 
   end
@@ -118,34 +114,34 @@ describe RubyProlog do
       # p "Who are Silas's parents?"
       # Silas should have two parents: Matt and Julie.
       r = query(parent[:P, 'Silas'])
-      r.length.should == 2
-      r[0][0].args[0].should == 'Matt'
-      r[1][0].args[0].should == 'Julie'
+      r.length.must_equal 2
+      r[0][0].args[0].must_equal 'Matt'
+      r[1][0].args[0].must_equal 'Julie'
       
       # p "Who is married?"
       # We defined 5 married facts.
-      query(married[:A, :B]).length.should == 5
+      query(married[:A, :B]).length.must_equal 5
         
       # p 'Are Karen and Julie siblings?'
       # Yes, through two parents.
-      query(sibling['Karen', 'Julie']).length.should == 2
+      query(sibling['Karen', 'Julie']).length.must_equal 2
       
       
       # p "Who likes to play games?"
       # Four people.
-      query(interest[:X, 'Games']).length.should == 4
+      query(interest[:X, 'Games']).length.must_equal 4
       
       
       # p "Who likes to play checkers?"
       # Nobody.
-      query(interest[:X, 'Checkers']).length.should == 0
+      query(interest[:X, 'Checkers']).length.must_equal 0
 
       # p "Who are Karen's ancestors?"
       # query(ancestor[:A, 'Karen'])
 
       # p "What grandparents are also widowers?"
       # Marge, twice, because of two grandchildren.
-      query(widower[:X], grandparent[:X, :G]).length.should == 2
+      query(widower[:X], grandparent[:X, :G]).length.must_equal 2
     end
 
   end
@@ -209,14 +205,11 @@ describe RubyProlog do
       ]
 
        hanoi[:N] <<=  move[:N,"left","right","center"]
-       query(hanoi[5]).length.should == 1
+       query(hanoi[5]).length.must_equal 1
 
        # do_stuff[:STUFF].calls{|env| print env[:STUFF]; true}
 
     end  
     
   end
-  
-  
-
 end

data/test/test_helper.rb

@@ -0,0 +1,3 @@
+require 'minitest/autorun'
+require 'minitest/pride'
+require File.expand_path('../../lib/ruby-prolog.rb', __FILE__)

metadata

@@ -1,70 +1,103 @@
---- !ruby/object:Gem::Specification 
+--- !ruby/object:Gem::Specification
 name: ruby-prolog
-version: !ruby/object:Gem::Version 
-  version: 0.0.5
+version: !ruby/object:Gem::Version
+  version: 1.0.1
 platform: ruby
-authors: 
+authors:
 - Preston Lee
 autorequire: 
 bindir: bin
 cert_chain: []
-
-date: 2009-02-09 00:00:00 -07:00
-default_executable: 
-dependencies: []
-
+date: 2013-07-31 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: minitest
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - '>='
+      - !ruby/object:Gem::Version
+        version: '0'
 description: A Prolog-ish Ruby DSL.
-email: preston.lee@openrain.com
-executables: []
-
+email:
+- preston.lee@prestonlee.com
+executables:
+- ruby-prolog-acls
+- ruby-prolog-hanoi
 extensions: []
-
-extra_rdoc_files: 
-- lib/ruby-prolog/ruby-prolog.rb
+extra_rdoc_files: []
+files:
+- .gitignore
+- Gemfile
+- NOTICE
+- README.md
+- Rakefile
+- bin/ruby-prolog-acls
+- bin/ruby-prolog-hanoi
 - lib/ruby-prolog.rb
-- README.txt
-files: 
-- examples/acls.rb
-- examples/hanoi.rb
-- History.txt
 - lib/ruby-prolog/ruby-prolog.rb
-- lib/ruby-prolog.rb
-- Manifest
-- Rakefile
-- README.txt
-- spec/ruby-prolog_spec.rb
-- spec/spec_helper.rb
+- lib/ruby-prolog/version.rb
 - ruby-prolog.gemspec
-has_rdoc: true
-homepage: http://www.openrain.com.com
+- test/lib/ruby-prolog/ruby-prolog_test.rb
+- test/test_helper.rb
+homepage: http://github.com/preston/ruby-prolog
+licenses:
+- Apache 2
+metadata: {}
 post_install_message: 
-rdoc_options: 
-- --line-numbers
-- --inline-source
-- --title
-- Ruby-prolog
-- --main
-- README.txt
-require_paths: 
+rdoc_options: []
+require_paths:
 - lib
-required_ruby_version: !ruby/object:Gem::Requirement 
-  requirements: 
-  - - ">="
-    - !ruby/object:Gem::Version 
-      version: "0"
-  version: 
-required_rubygems_version: !ruby/object:Gem::Requirement 
-  requirements: 
-  - - ">="
-    - !ruby/object:Gem::Version 
-      version: "1.2"
-  version: 
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - '>='
+    - !ruby/object:Gem::Version
+      version: '0'
 requirements: []
-
-rubyforge_project: ruby-prolog
-rubygems_version: 1.3.1
+rubyforge_project: 
+rubygems_version: 2.0.3
 signing_key: 
-specification_version: 2
+specification_version: 4
 summary: A Prolog-ish Ruby DSL.
-test_files: []
-
+test_files:
+- test/lib/ruby-prolog/ruby-prolog_test.rb
+- test/test_helper.rb

data/History.txt

@@ -1,19 +0,0 @@
-== 0.0.4 / 2009-02-09
-
-* Fixing packaging error from previous build.
-
-== 0.0.3 / 2009-02-09
-
-* Renaming files due to RubyForge stupidity.
-* Adding usage examples.
-
-== 0.0.2 / 2009-02-04
-
-* Refactored the code into an object-oriented state.
-* Changed #query to not print results and return goals.
-* Made spec tests more meaningful.
-* Addressed small TODO items.
-
-== 0.0.1 / 2009-01-14
-
-* First release. Basically a glorified packaging of tiny_prolog and various extensions.

data/Manifest

@@ -1,10 +0,0 @@
-examples/acls.rb
-examples/hanoi.rb
-History.txt
-lib/ruby-prolog/ruby-prolog.rb
-lib/ruby-prolog.rb
-Manifest
-Rakefile
-README.txt
-spec/ruby-prolog_spec.rb
-spec/spec_helper.rb

data/README.txt

@@ -1,57 +0,0 @@
-ruby_prolog
-    by Preston Lee
-    http://openrain.com
-	The core engine is largely based on tiny_prolog, though numerous additional enhancements have been made
-	such as object-oriented refactorings and integration of ideas from the interwebs. Unfortunately I cannot
-	read Japanese and cannot give proper attribution to the original tiny_prolog author. If *you* can, let
-	me know and I'll update this document!
-
-== DESCRIPTION:
-
-	An object-oriented pure Ruby implementation of a Prolog-like DSL for easy AI and logical programming.
-
-== FEATURES/PROBLEMS:
-
-* Pure Ruby.
-* Tested with Ruby 1.8.7 (MRI). 
-* Object-oriented.
-* Multiple Prolog environments can be created and manipulated simultaneously.
-* Concurrent access to different core instances should be safe.
-* Concurrent access to a single core instance might probably explode in odd ways.
-
-== SYNOPSIS:
-
-  See ruby_prolog_spec.rb for usage examples.
-
-== REQUIREMENTS:
-
-* Should work under all popular Ruby interpreters. Please report compatibility problems.
-
-== INSTALL:
-
-* sudo gem install ruby_prolog
-
-== LICENSE:
-
-(The MIT License)
-
-Copyright (c) 2008 OpenRain, LLC
-
-Permission is hereby granted, free of charge, to any person obtaining
-a copy of this software and associated documentation files (the
-'Software'), to deal in the Software without restriction, including
-without limitation the rights to use, copy, modify, merge, publish,
-distribute, sublicense, and/or sell copies of the Software, and to
-permit persons to whom the Software is furnished to do so, subject to
-the following conditions:
-
-The above copyright notice and this permission notice shall be
-included in all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,
-EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
-MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
-IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
-CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
-TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
-SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/spec/spec_helper.rb

@@ -1,16 +0,0 @@
-require 'rubygems'
-require 'spec'
-require File.expand_path(File.join(File.dirname(__FILE__), %w[.. lib ruby-prolog]))
-
-Spec::Runner.configure do |config|
-  # == Mock Framework
-  #
-  # RSpec uses it's own mocking framework by default. If you prefer to
-  # use mocha, flexmock or RR, uncomment the appropriate line:
-  #
-  # config.mock_with :mocha
-  # config.mock_with :flexmock
-  # config.mock_with :rr
-end
-
-# EOF