Title: Towards typed Prolog
Authors: Schrijvers, Tom
Santos Costa, Vitor
Wielemaker, Jan
Demoen, Bart
Issue Date: 2008
Publisher: Springer
Host Document: Lecture notes in computer science vol:5366 pages:693-697
Conference: Logic Programming edition:24 location:Udine, Italy date:9-13 December 2008
Abstract: Prolog is traditionally not statically typed. Since the benefits of static typing are huge, it was decided to grow a portable type system inside two widely used open source Prolog systems: SWI-Prolog and Yap. This requires close cooperation and agreement between the two systems. The type system is Hindley-Milner. The main characteristics
of the introduction of types in SWI and Yap are that typing is not mandatory, that typed and untyped code can be mixed, and that the type checker can insert dynamic type checks at the boundaries between typed and untyped code.

The basic decisions and the current status of the Typed Prolog project are described, as well as the remaining tasks and problems to be solved.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
shorticlp08.pdfmain article Published 110KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science