CST233 - Programming Languages: Lab 4 - Prolog Family Tree

Overview

Logic programming with Prolog to model and query family relationships.

Course Information

• Course: CST233 - Programming Languages
• Lab: Lab 4 - Prolog Family Tree
• Institution: Oregon Institute of Technology
• Language: Prolog

Topics Covered

• Logic programming paradigm
• Facts and rules in Prolog
• Queries and unification
• Recursive rules
• Family relationship modeling

Files

• Lab4.pl - Prolog family tree program
• Lab assignment PDF and responses

Learning Objectives

• Understanding declarative programming
• Prolog syntax and semantics
• Backward chaining and unification
• Logical inference systems

Technologies

• Prolog (SWI-Prolog or GNU Prolog)
• Logic programming