Typed Prolog: A semantic reconstruction of the MycroftO’Keefe type system (1991)

by T K Lakshman, U S Reddy
Venue:In Int. Logic Programming Symp