Clingo è un Answer Set Programming (ASP) system, utilizzabile per risolvere programmi logici.

Esempio di utilizzo

Definiamo un semplice problema logico, creando un file crime.lp con il seguente contenuto:

innocent(Suspect) :- motive(Suspect), not guilty(Suspect).

motive(harry).
motive(sally).
guilty(harry).

E poi utilizziamo il solver per risolverlo:

/opt/clingo/clingo crime.lp

Dovremmo ottenere qualcosa di simile a questo:

clingo version 5.4.0
Reading from crime.lp
Solving...
Answer: 1
motive(harry) motive(sally) guilty(harry) innocent(sally)
SATISFIABLE

Models       : 1
Calls        : 1
Time         : 0.001s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.000s