rubylog 2.0.1 → 2.1.0

data/examples/mice2.rb

@@ -1,37 +0,0 @@
-require "rubylog"
-extend Rubylog::Context
-
-predicate_for Rubylog::Variable, ".bound"
-A.bound.if { A.is_a? Rubylog::Variable }
-
-class Array
-  extend Rubylog::Context
-
-  predicate ".can_have_neighbours"
-  [*ANY,:yes,:yes,*ANY].can_have_neighbours!
-
-  predicate ".has_neighbours"
-  [*ANY,A,B,*ANY].has_neighbours.if { A == :yes && B == :yes}
-
-  predicate ".cannot_have_neighbours"
-  A.cannot_have_neighbours.if A.can_have_neighbours.false
-
-  predicate ".decidable"
-  A.decidable.if A.has_neighbours.or A.cannot_have_neighbours
-
-
-  predicate ".guessed"
-  A.guessed.if every X.in(A), X.is(:yes).or(X.is(:no)).or(:true)
-
-  predicate ".easy"
-  A.easy.if A.guessed.and A.decidable.and any X.in(A), X.bound.false
-
-  Rubylog.trace
-  N.in(0..6).each do
-    puts "#{N}: #{([ANY]*N).easy?}"
-  end 
-
-end 
-
-
-

data/examples/object_oriented.rb

@@ -1,14 +0,0 @@
-$:.unshift File.dirname(__FILE__)+"/../lib"
-require "rubylog"
-
-class User
-  extend Rubylog::Context
-  predicate_for self, ".user", ".admin"
-
-  def initialize admin=false
-    self.user!
-    self.admin! if admin
-  end
-end
-
-

data/examples/prefix.rb

@@ -1,13 +0,0 @@
-require "rubylog"
-extend Rubylog::Context
-
-predicate_for Kernel, ".hello()"
-
-hello!(2)
-hello(5).if { puts "Hello" }
-
-hello?(5)
-
-check hello(2)
-check hello(4).false
-

data/examples/primitives.rb

@@ -1,26 +0,0 @@
-$:.unshift File.dirname(__FILE__)+"/../lib"
-require 'rubylog'
-
-Try = Rubylog.create_context
-Try.instance_eval do
-  predicate ":hello_world"
-
-  def primitives.hello
-    puts "Hello"
-    yield
-  end
-
-  class << primitives_for(String)
-    def hello x
-      puts "Hello #{x.rubylog_deep_dereference}!"
-      yield
-    end
-  end
-
-  :hello_world.if "World".hello
-
-end
-
-
-p Try.true? :hello
-p Try.true? :hello_world

data/examples/sudoku.rb

@@ -1,17 +0,0 @@
-$:.unshift File.dirname(__FILE__)+"/../lib"
-require "rubylog"
-
-def blocks_of s
-  (0..2).map {|a| (0..2).map {|b| (0..2).map {|c| (0..2).map {|d| 
-    s[a*3+c][b*3+d]
-  }}.flatten(1) }}.flatten(1)
-end
-
-predicate_for Array, ".sudoku .row_unique .col_unique .block_unique .unique"
-
-S.sudoku.if S.is([[ANY]*9]*9).and S.row_unique.and S.col_unique.and S.block_unique.and every(ROW.in(S).and(X.in(ROW)), X.in(1..9))
-
-S.row_unique.if every ROW.in(S), ROW.unique
-S.col_unique.if every COL.in{S.transpose}, COL.unique
-S.col_unique.if every BLOCK.in{blocks_of(S)}, BLOCK.unique
-

data/spec/integration/theory_as_module_spec.rb

@@ -1,20 +0,0 @@
-require 'spec_helper'
-
-extend Rubylog::Context
-
-predicate_for Integer, %w(.divides())
-
-(A[thats > 0].divides B[thats > 0]).if { B%A == 0 }
-
-(N.is 210).solve do
-
-  (I.in [1, 2, 3, 5, 6, 7, 10, 14, 15, 21, 30, 35, 42, 70, 105, 210]).each do
-    check(I.divides N)
-  end
-
-  (I.in [4, 8, 9, 11, 12, 20, 31]).each do
-    check( (I.divides N).false )
-  end
-
-end
-

data/spec/integration/theory_as_module_with_include_spec.rb

@@ -1,14 +0,0 @@
-require "spec_helper"
-
-class MyClass
-  include Rubylog::Context
-end
-
-a=MyClass.new
-
-a.instance_eval do
-  predicate_for Integer, %w(.divides())
-  (N.divides M).if { M%N == 0 }
-
-  check 23.divides(230)
-end