Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Hanus, Michael

dblp



Editor(s):

Pfenning, Frank

dblp



BibTeX cite key*:

Hanus92d

Title, Booktitle

Title*:

Logic Programming with Type Specifications

Booktitle*:

Types in Logic Programming

Chapter:

3

Series:


Language:

English

Publisher

Name*:

MIT Press

URL:


Address*:

Cambridge, USA

Publication Type:


Vol, No, pp., Year

Volume:


Number:


Edition:


Pages*:

91-140

Month:


VG Wort Pages:


ISBN:


Year*:

1992

Abstract, Links, ©

Note:


LaTeX Abstract:

In this chapter, we propose a framework for logic programming with different type systems. In this framework a typed logic program consists of a type specification and a Horn clause program which is well-typed with respect to the type specification. The type specification defines all types which can be used in the logic program. Relations between types are expressed by equations on the level of types. This permits the specification of many-sorted, order-sorted, polymorphic and polymorphically order-sorted type systems. We present the declarative semantics of our framework and two proof procedures (deduction and resolution) for typed logic programs. An interesting application is a type system that combines parametric polymorphism with order-sorted typing and permits higher-order logic programming. Moreover, our framework sheds some new light on the r\^{o}le of types in logic programming.

URL Abstract:


Tags, Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list
BibTeX Entry:
@INBOOK{Hanus92d,
AUTHOR = {Hanus, Michael},
EDITOR = {Pfenning, Frank},
TITLE = {Logic Programming with Type Specifications},
BOOKTITLE = {Types in Logic Programming},
PUBLISHER = {MIT Press},
YEAR = {1992},
CHAPTER = {3},
PAGES = {91--140},
ADDRESS = {Cambridge, USA},
}


Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Uwe Brahm
Created
01/14/1995 06:51:46 PM
Revisions
7.
6.
5.
4.
3.
Editor(s)
Christine Kiesel
Christine Kiesel/AG2/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Edit Dates
03.09.2001 16:24:03
30/01/95 16:56:14
30/01/95 16:42:43
30/01/95 16:36:51
30/01/95 16:17:50