Jun 25, 2024  
2009-2010 Graduate Catalog 
2009-2010 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CIS 810 - Logic Programming

Selected topics; constraint logic programming, deductive databases, concurrent logic programming, object-oriented logic programming, mathematical theory of logic programming specification and transformation of logic programs.

Credits: (3)

Pr.: Knowledge of Prolog.

KSIS Course Search

Add to Portfolio (opens a new window)