class RubyProlog::Predicate