ON 1ST OF JULY 1999 LOGPRO MERGED WITH TOSCA AND IS NOW NAMED TCSLAB (THEORETICAL COMPUTER SCIENCE LABORATORY). THE INFORMATION GIVEN BELOW IS FROZEN ON THAT DATE, AND IS FOR ARCHIVAL REASONS ONLY.

Download DECO; a system for computing, possibly infinite, reachability sets of Petri Nets using the compositional method described in the thesis of Hans Olsen.

Here is a demo-version of the Reviewer's Workbench; a Prolog CGI program used for management of the program committee work of ILPS97.

Check out Logic, Programming and Prolog and A Grammatical View of Logic Programming; two books (co-)authored by LOGPRO members!

Copyright © 1997 Ulf Nilsson

...to the Logic Programming Laboratory of the Department of Computer and Information Science, Linköping University. LOGPRO is one of several research laboratories in the department.

The research of LOGPRO focuses on the foundations of logic programming. Our current research concerns the implementation of logic programming systems and deductive databases, methods for developing correct programs and debugging of constraint programs.

The group is led by Ulf Nilsson and Jan Maluszynski and has 6 members.

Prototype systems and demos.

Our list of publications contains, among other things, postscript versions of the recent PhD theses of Johan Boye ''Directional Types in Logic Programming'', Lars Degerstedt ''Tabulation-based Logic Programming'' and Hans Olsen "Automatic Verification of Petri Nets in a CLP Framework".

Some links to logic programming related resources/information.

Local access only.