7 - Advanced topics in Prolog
- Dinamic Programming assert/retract
- Metaprogramming, Defining custom operators and reflection
- Concurrency
- Prolog for web development
- Modular programming in Prolog
- Prolog and Artificial Intelligence
- NLP
- Constraint Logic Programmin
- DCG
- Theorem Provers