ausblenden:
Schlagwörter:
-
Zusammenfassung:
Logic programming is one of the main paradigms in the area of declarative programming. Often it is identified with the programming language Prolog. In this paper we discuss a number of extensions of Prolog that have been investigated in the Sonderforschungsbereich 314 ``Artificial Intelligence - Knowledge-Based Systems'' at the University of Karlsruhe. On the level of unification we extend Prolog's syntactical unification to order-sorted and Boolean unification, on the level of resolution we generalize Prolog's Horn clauses and SLD-Resolution to conditional equations and conditional narrowing. In addition to language extensions themselves we present also methods and tools for their efficient implementation.