clingo

Exibindo um único resultado