English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung

Bockmayr, A., Brzoska, C., Deussen, P., & Varsek, I. (1991). KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Informatik - Forschung und Entwicklung, 6, 128-140.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-A413-F Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-A414-D
Genre: Journal Article
Latex : KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Bockmayr, Alexander1, Author           
Brzoska, Christoph1, Author
Deussen, Peter1, Author
Varsek, Igor1, Author
Affiliations:
1External Organizations, ou_persistent22              

Content

show
hide
Free keywords: -
 Abstract: 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.

Details

show
hide
Language(s): deu - German
 Dates: 1991
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: BockmayrBrzoskaDeussenVarsek91a
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Informatik - Forschung und Entwicklung
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: Berlin : Springer-Verlag
Pages: - Volume / Issue: 6 Sequence Number: - Start / End Page: 128 - 140 Identifier: ISSN: 0178-3564
CoNE: https://pure.mpg.de/cone/journals/resource/954933107333