Skip navigation.
New Mexico State University
You are here:
NMSU
Computer Science
Course Detail
Course Number
Course Title
Credit Hours
461
Logic Programming
3
Course Description
Declarative programming techniques; foundations of logic programming; programming in Prolog; constraint logic programming; applications of logic and constraint programming. Same as CS511.
Prerequisite
At least a C in CS272 and CS278.
Undergraduate Course
Undergraduate Requirement
Undergraduate Optional
Software Develop Requirement
Software Develop Optional
Computer System Requirement
Computer System Group 1
Computer System Group 2
Computer System Group 3
Algorithm Requirement
Algorithm Optional
CS Minor Course
CS Minor Requirement
Graduate Course
Graduate Requirement Group 1
Graduate Requirement Group 2
Graduate Requirement Group 3
Graduate Requirement Group 4
Active