Computer Science 336 - Logic Programming

Institution:

St Olaf College

Subject:

Description:

Students learn a style of programming based on first order predicate logic. Topics include declarative programming, Horn clauses, declarative and procedural semantics of logic programs, relations clauses, goals, backtracking, and resolution. Programming projects and exercise use Prolog, the most significant logic programming language. Additional topics include the relationship of Prolog to logic and applications to artificial intelligence. Prerequisites: Computer Science 253 or 276 or permission of instructor.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.stolaf.edu

Phone Number:

(507) 786-2222

Regional Accreditation:

North Central Association of Colleges and Schools

Calendar System:

Four-one-four plan

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.