class Symbol

Public Instance Methods

args() click to toggle source
# File lib/rubylog/mixins/symbol.rb, line 7
def args
  []
end
predicate() click to toggle source
# File lib/rubylog/mixins/symbol.rb, line 3
def predicate
  Rubylog::NullaryPredicates[self] or raise Rubylog::ExistenceError.new(self)
end
prove() { || ... } click to toggle source
# File lib/rubylog/mixins/symbol.rb, line 20
def prove
  predicate.call { yield }
end