Programming Languages (CSC-302 99S)


Class 22: Introduction to Logic Programming

Back to Functional Programming, Concluded. On to Laboratory Session: Prolog.

Held Monday, March 15

Summary

Contents


Handouts

Notes


Why Use Lazy Evaluation?

Introduction to Declarative and Logic Programming

Predicate Logic


History


Back to Functional Programming, Concluded. On to Laboratory Session: Prolog.


Disclaimer Often, these pages were created ``on the fly'' with little, if any, proofreading. Any or all of the information on the pages may be incorrect. Please contact me if you notice errors.

This page may be found at http://www.math.grin.edu/~rebelsky/Courses/CS302/99S/Outlines/outline.22.html

Source text last modified Mon Mar 15 14:23:29 1999.

This page generated on Mon Mar 15 14:28:03 1999 by SiteWeaver. Validate this page's HTML.

Contact our webmaster at rebelsky@math.grin.edu