Library of Logic Programming Systems and Test Cases

Appeared in Volume 10/2, May 1997

http://www.uni-koblenz.de/ag-ki/LP/

Our new Web site collects and provides information on various Logic Programming Systems. We concentrate on systems that extend Prolog to handle various forms of non-monotonic negation and disjunction.

We invite anyone who is developing a Logic Programming system with a non-monotonic reasoning perspective to visit our site, and fill out the form to provide information on their system.

Please send us any comments you may have.

Dorothea Schaefer
AI Research Group
Univ. of Koblenz
Koblenz, Germany
Email: doro@informatik.uni-koblenz.de
Web: http://www.uni-koblenz.de/~doro/