class RubyProlog::Core