View source for Answer Set Programming (ASP) Language

An [[Answer Set Programming (ASP) Language]] is a [[(declarative) logic programming language]] that is based on the [[stable model semantics|stable model]] (answer set) semantics of [[logic programming]].
* <B>AKA:</B> [[Answer Set Programming (ASP) Language|Answer Set Language]].
* <B>Context</U>:</B>
** It can be used to create an [[Answer Set (ASP) Program]].
** …
* <B>Example(s):</B>
** a [[DLV Programming Language]].
** [[AnsProlog]].
** …
* <B>Counter-Example(s):</B>
** a [[Prolog Programming Language]].
** [[LISP Language]].
* <B>See:</B> [[Answer Set]], [[Automated Planning and Scheduling]].

----
----