../Formula/clingo.rb