CSE-505: Computing With Logic
Online Resources
- Systems:
- XSB Logic
Programming System is one of the systems used in this course for programming homeworks
and projects.
- SWI Prolog is
another popular Prolog system that can be used for most programming homeworks.
- Books:
- Notes:
- Semantics of definite, stratified and normal logic programs
(.pdf)
- Additional Papers:
- Tutorials:
C.R. Ramakrishnan
Last modified: Fri Aug 21 20:02:56 EDT 2020