class RubyProlog::Goal