Temas Subtemas
1- An introduction to Prolog Introduction
Adding Functions: unification, lists, Turing completeness.
Relation to Logic: Least Herbrand Model.
Flow control: cut, negation as failure.
Other features: arithmetic, input/output, assert/retract.
2- Semantics for negation Stable models and answer sets.
Well-founded Semantics. Relation to stable models.
Programs with variables. Answer Set Programming (ASP).
Clark's completion.
Loop formulas.
Extending the syntax: disjunctive ASP.
3- Equilibrium Logic Syntax and semantics.
Strong equivalence.
Normal forms. Minimal logic programs.
Quantified Equilibrium Logic.