From CSULA CS Wiki
Jump to: navigation, search

Contents

Spring 2010

Fall 2007

Fall 2006

Spring 2006

Symbolic Programming in Prolog

The pages below are the outline of a course in logic programming that focuses on Prolog as a programming language for symbolic programming. Backtracking is minimized, and cuts are encouraged as a way to indicate a separation between guards and bodies of clauses. After the first few introductory pages, the remainder of the material focuses on developing an interpreter for a simple programming language.

SWI Prolog

Prolog Tutorials listed alphabetically by author

Prolog IDEs

Other stuff