Deklarative KI-Methoden zur Implementierung und Nutzung von Systemen in Netzen

Abstract Using the logic programming system Minerva, Java and DMBS Oracle for development of GIS-oriented constraint database systems is discussed. The central topic is a possibility to develop systems, which are approaching industrial standards. Namely, a technology for building applications, which need high quality graphical interfaces, which use data stored by in commercial SQL databases and which enjoy advantages of declarativeness of logic programming and constraint solving is the main goal. A number of important basic elements of the corresponding toolkit, which is currently under development, are introduced.