| |
Sep 20, 2024
|
|
|
|
|
CSE 8325 - Logic Programming
Credits: 3
Explores logic-based computing and logic programming. Introduces fundamentals of logic programming and covers basic techniques for solving problems in Prolog, including nondeterministic programming, incomplete data structures, definite clause grammars, and meta interpreters. Examines implementation of a logic programming system as a generalization of both traditional programming language systems and traditional databases. Prerequisites: CSE 2341, CSE 3342.
Add to Catalog (opens a new window)
|
|