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
|