Login / Signup
Programming in Alma-0, or Imperative and Declarative Programming Reconciled.
Krzysztof R. Apt
Andrea Schaerf
Published in:
FroCoS (1998)
Keyphrases
</>
declarative programming
answer set programming
logic programming
logic programs
search problems
programming language
knowledge base
database
stable models