Answer Set Programming
Warning
This is a draft.
It is declaratiave modeling languauge. Generally used to solve combinatorial problems. It is a problem solving approach Motivated by Knowledge Representation.
Representation
Fact: A0 . Rule: A0 :- L1,. . . ,Ln. Integrity Constraint: :- L1,. . . ,Ln.