Towards Typed Prolog

• Type: Article in International Conference Proceedings Book
• Date: 2008

Authors

Tom Schrijvers (Author) Other; Vitor Santos Costa (Author) FCUP; Jan Wielemaker (Author) Other; Bart Demoen (Author) Other

Conference proceedings International

Title: LOGIC PROGRAMMING, PROCEEDINGS

Pages: 693-697

24th International Conference on Logic Programming (ICLP)

Udine, ITALY, DEC 09-13, 2008

Indexing

ISI Web of Knowledge - 24 Citations

Scopus - 27 Citations

Scientific classification

FOS: Natural sciences > Computer and information sciences

Other information

Authenticus ID: P-005-5P6

DOI: 10.1007/978-3-540-89982-2_59

Abstract (EN): 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 call be mixed, and that the type checker call insert dynamic type checks at the boundaries between typed and untyped code. The basic decisions and the current status of Hie Typed Prolog project are described. as well as the remaining tasks and problems to be solved.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 5