Up: Document: 1_proglogtopics
Previous: Document: 1_proglogtopics
- Introduction.
- Pure logic (relational) programming.
- The Prolog Language. Programming in Prolog.
- Efficient Prolog programming.
- Combining Logic Programming, Functional Programming, Higher
Order, Objects.
- The Ciao Programming System.
- Review of first order predicate logic and
resolution. Fundamental results.
- Semantics of logic programs.
- Other topics (if time permits).
- Implementation of logic languages and advanced compilation.
- Parallelism, concurrency.
- Other LP/CLP languages.
Last modification: Tue Feb 17 14:06:45 CET 2004 <webmaster@clip.dia.fi.upm.es>