Applied Logic Lab

Back to Research Areas/Labs
Location CS 1212
Mission Study of the principles and applications of logic-based methods in databases, verification of concurrent systems, data mining, and Web information systems.
Hardware Pentium PCs
Operating System Linux and MS Windows
Software Gnome, GNU C, GNU C++, Latex, Emacs, Prolog
Details Members of the Lab are engaged in three major projects:
  • FLORA - a declarative object-oriented language for programming knowledge intensive applications.
  • The LMC (Logic Programming-Based Model Checking)
  • XSB - A high-performance logic programming and deductive database system.
Funding NSF
Coordinator Michael Kifer, I.V. Ramakrishnan, C.R. Ramakrishnan, David S. Warren.
Lab Web page Applied Logic Lab