Next: Programming Environment
Up: Document: 0_info
Previous: Other
- Introduction and Motivation.
- Logic Programming.
- The (ISO-)Prolog programming language.
- Efficient Prolog programming.
- Multi-paradigm Programming:
-
Syntactic/semantic extensions.
- Combining logic programming, functional programming, and objects.
- Higher order, records.
- Adding Constraint Programming.
- CLP(R). Finite domains. Current CLP systems. Combined programming.
- Advanced topics:
- Static debugging and verification.
- Automatic program parallelization.
Last modification: Mon Aug 22 12:48:25 MDT 2005