Topics

• Lambda Expressions
• macros
• Using Modern Prolog

Examples

• Introduction to Java lambdas
• Java Closures with lambda expressions.
• Using Macros to define data structures
• Introduction
• CLP(FD) for integer arithmetic
• Forall instead of failure-driven loops
• Function-style Predicates
• Flow/mode declarations