EdusalsaDiscover Your Stanford

CS 151

Logic Programming

  • Not Offered

3 units

Letter or Credit/No Credit

Logic Programming is a style of programming based on symbolic logic. In writing a logic program, the programmer describes the application area of the program (as a set of logical sentences) without reference to the internal data structures or operations of the system executing the program. In this regard, a logic program is more of a specification than an implementation; and logic programs are often called runnable specifications. This course introduces basic logic programming theory, current technology, and examples of common applications, notably deductive databases, logical spreadsheets, enterprise management, computational law, and game playing. Work in the course takes the form of readings and exercises, weekly programming assignments, and a term-long project. Prerequisite: CS 106B or equivalent.

Course Prequisites

CS 151 is useful for

Sign Up

To save CS 151 to your course bucketlist

Already Have An Account? Log In