| 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 |
