DROPS

Document

DOI: 10.4230/LIPIcs.ICLP.2012.451

A Gradual Polymorphic Type System with Subtyping for Prolog

Authors: Spyros Hadjichristodoulou

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)

Abstract

Although Prolog was designed and developed as an untyped language, there have been numerous attempts at proposing type systems suitable for it. The goal of research in this area has been to make Prolog programming easier and less error-prone not only for novice users, but for the experienced programmer as well. Despite the fact that many of the proposed systems have deep theoretical foundations that add types to Prolog, most Prolog vendors are still unwilling to include any of them in their compiler's releases. Hence standard Prolog remains an untyped language. Our work can be understood as a step towards typed Prolog. We propose an extension to one of the most extensively studied type systems proposed for Prolog, the Mycroft-O'Keefe type system, and present an implementation in XSB-Prolog. The resulting type system can be characterized as a Gradual type system, where the user begins with a completely untyped version of his program, and incrementally obtains information about the possible types of the predicates he defines from the system itself, until type signatures are found for all the predicates in the source code.

Cite as

Spyros Hadjichristodoulou. A Gradual Polymorphic Type System with Subtyping for Prolog. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 451-457, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{hadjichristodoulou:LIPIcs.ICLP.2012.451,
  author =	{Hadjichristodoulou, Spyros},
  title =	{{A Gradual Polymorphic Type System with Subtyping for Prolog}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{451--457},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.451},
  URN =		{urn:nbn:de:0030-drops-36452},
  doi =		{10.4230/LIPIcs.ICLP.2012.451},
  annote =	{Keywords: Type Inference, Polymorphic Type System, Gradual Typing, Tabling, Answer Subsumption}
}

Search Results

Documents authored by Hadjichristodoulou, Spyros

A Gradual Polymorphic Type System with Subtyping for Prolog

Abstract

Cite as

Thanks for your feedback!

Could not send message