Topics

• Getting started with Prolog Language
• Reasoning about data
• Constraint Logic Programming
• Logical Purity
• Extra-logical Predicates
• Data Structures
• Higher-Order Programming
• Definite Clause Grammars (DCGs)
• Operators
• Monotonicity
• Performance
• Coding guidelines
• Error handling and exceptions

Examples

• CLP(FD)
• dif/2
• append/3
• CLP(FD) Constraints
• CLP(Q)
• CLP(H)
• Predicates with side effects
• Meta-logical predicates
• All-solutions predicates
• CLP(FD) constraints
• Lists
• Pairs
• Association lists
• Terms
• call/N predicates
• maplist/[2,3]
• Meta-call
• foldl/4
• !/0 and related predicates
• Unification
• Anything at all: `... //0`
• Parsing with DCGs
• Operator declaration
• Reasoning about monotonic predicates
• Examples of monotonic predicates
• Non-monotonic predicates
• Monotonic alternatives for non-monotonic constructs
• Combining monotonicity with efficiency
• Database Programming
• Abstract machine
• Indexing
• Tail call optimization
• Naming
• Indentation
• Order of arguments
• Instantiation errors
• General points about error handling
• Cleaning up after exceptions
• Type and domain errors