CS 455
Logic Programming
California State University San Marcos · UGRD · Fall 2026
1 section
Catalog description
Declarative programming techniques: formal specification of the problem itself rather than of a solution algorithm. Survey of logic programming languages such as Prolog, applications, theoretical foundations propositional logic, predicate calculus, resolution, theorem proving, non-determinism, meta-programming. May not be taken for credit by students who received credit for: CS 555 . Prerequisite(s): CS 351 .
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #california_san_marcos-0706Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?