CSSE 404: Day 25

Outline

• Declarative programming
• Logic programming
• PROLOG
• A commonly used Prolog interpreter: SWI-Prolog
• Optimization techniques

Materials

• A Prolog tutorial
• Append in a declarative style
• Append in a function style
• Append in an OO/imperative style
• Slides
• Worksheet 1
• Worksheet 2
• Worksheet 3

Assignments

• Day 28, BC: Summarize the paper entitled Reflections on Trusting Trust by ken Thompson and submit your summary to the appropriate drop-box on Moodle. Let's aim for about a 3/4 single spaced page summary.