CSE 341 - Programming Languages

Prolog & Constraints

The standard file extension for Prolog programs is .pl. In case your browser interprets this as a perl program and downloads the file rather than displaying it, we've also included a .txt version of each Prolog program linked on this page that should show in your browser.

Getting Started

• Running Prolog: basic commands for running Prolog; information on installing it on a personal machine; editing programs; debugging

Prolog Lecture Notes

• Prolog Basics
• Prolog Mini-Exercises #1; mini1.pl (answers); mini1.txt (answers as text file)
• Controlling Search in Prolog
• Prolog Mini-Exercises #2 (derivation trees; difference lists; controlling search); answers; derivation tree
• Constraints and Interactive Graphics (includes two mini-exercises)

Source Code

• basics.pl (to accompany the Prolog Basics notes); basics.txt (as .txt file)
• unittests.pl (unit tests in SWI Prolog); unittests.txt (as .txt file)
• clpr.pl - the clpr library (constraint logic programming over the reals); clpr.txt (as .txt file)
• search.pl (to accompany the search notes); search.txt (as .txt file)
• difference_lists.pl; difference_lists.txt (as .txt file)
• puzzle.pl (finite domain constraints); puzzle.txt (as .txt file)

Useful Links

• SWI Prolog home page
• A Prolog Tutorial by J.R. Fisher
• Other Prolog tutorials
• SWI Prolog reference manual