🚀 go-pugleaf

In article <2070@imag.UUCP> azzoune@imag.UUCP (H. AZZOUNE) writes:
>I am looking for literature and articles on Types Utilisations for 
>interpretation or compilation of Prolog.

Most literature on types in Prolog is related to debugging.

Type synthesis is probably most useful for compiler optimization,
for example, the following paper.

%A J. Zobel
%T Derivation of polymorphic types for Prolog programs
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987

The following discusses application to program verification:

%A Tadashi Kanamori
%A Kenji Horiuchi
%T Type inference in Prolog and its applications
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai
%P 704-707

The following discusses application of interpretation to type checking.

%A Lee Naish
%T Specification = Program + Types
%J Proceedings of the 7th Conference on Foundations of Software Technology
and Theoretical Computer Science
%D December 1987 (to appear)
%C Pune, India
%X Technical Report 87/4, Department of Computer Science, University of Melbourne