class Rbprolog::Deduction
Attributes
args[RW]
sym[RW]
Public Class Methods
new(sym, *args)
click to toggle source
# File lib/rbprolog/deduction.rb, line 5 def initialize(sym, *args) @sym = sym @args = args end
Public Instance Methods
each_deduce(context, rules, id) { |binds| ... }
click to toggle source
# File lib/rbprolog/deduction.rb, line 10 def each_deduce(context, rules, id) #print "#{"\t" * id.size}#{id.join('.')} #{@sym}?(#{@args.join(', ')})" rules.select {|rule| rule.sym == @sym}.each_with_index do |rule, rule_index| context.scope(self) do |scoped_args| #puts " => #{@sym}?(#{scoped_args.join(', ')})" if rule_index == 0 # rules.reject is to avoid endless loop caused by self reference rule.each_match(rules.reject {|item| item == rule}, *scoped_args, id + [rule_index]) do |hash| context.scope(self) do rule.args.each_with_index do |rule_arg, rule_arg_index| if Var === scoped_args[rule_arg_index] context[scoped_args[rule_arg_index].sym] = Var === rule_arg ? hash[rule_arg.sym] : rule_arg end end yield context.binds end end end end end