Towards typed prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5366 LNCS, Issue , 2008, Pages 693-697

  Schrijvers, Tom ^a   Santos Costa, Vítor ^b   Wielemaker, Jan ^c   Demoen, Bart ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UNIVERSITY OF PORTO   (Portugal)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; LOGIC PROGRAMMING; PROGRAMMING THEORY; OPEN SOURCE SOFTWARE;

OPEN SOURCES; PROLOG SYSTEMS; STATIC TYPING; TYPE CHECKER; TYPE SYSTEMS;

PROLOG (PROGRAMMING LANGUAGE); OPEN SYSTEMS;

CURRENT STATUS; DYNAMIC TYPE; OPEN SOURCES; PROLOG SYSTEMS; STATIC TYPING; TYPE CHECKER; TYPE SYSTEMS;

EID: 58549101751     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89982-2_59     Document Type: Conference Paper

References (7)

1. Milner, R.: A theory of type polymorphism in programming. Journal of Computer System Sciences 17, 348-375 (1978)
2. Mycroft, A., O'Keefe, R.A.: A polymorphic type system for prolog. Artif. Intell. 23(3), 295-307 (1984)
3. Hill, P.M., Lloyd, J.W.: The Gödel Programming Language. MIT Press, Cambridge (1994)
4. Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of mercury: an efficient purely declarative logic programming language. Journal of Logic Programming 29, 17-64 (1996)
5. Pietrzak, P., Correas, J., Puebla, G., Hermenegildo, M.: A Practical Type Analysis for Verification of Modular Prolog Programs. In: ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM 2008), pp. 61-70. ACM Press, New York (2008)
6. Prolog Development Center (Visual Prolog), http://www.visual-prolog.com
7. Hill, P.M., Topor, R.: A semantics for Typed Logic Programs. In: Pfenning, M. (ed.) Types in Logic Programming, pp. 1-62. MIT Press, Cambridge (1992)