Logic Programming

Volume 5366 of the series Lecture Notes in Computer Science pp 693-697

Towards Typed Prolog

  • Tom SchrijversAffiliated withDepartment of Computer Science, K.U.Leuven
  • , Vítor Santos CostaAffiliated withCRACS & FCUP, Universidade do Porto
  • , Jan WielemakerAffiliated withHCS, University of Amsterdam
  • , Bart DemoenAffiliated withDepartment of Computer Science, K.U.Leuven

* Final gross prices may vary according to local VAT.

Get Access


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.