CS 5398 - Theory and Practice of Logic Programming

3 Semester Credit Hours

Formal syntax and semantics of logics of programming languages, practical application of such languages, and linking GUI interfaces written in imperative languages.