class RubyProlog::TempClause