A polymorphic type system for Prolog
By: by Alan Mycroft and Richard O'Keefe.
Contributors: O'Keefe, R. A.; University of Edinburgh. Department of Artificial Intelligence.
Series: D.A.I. research paper -- no.211
Publisher: Department of Artificial Intelligence, University of Edinburgh
Published: 1983
Place of publication: (Edinburgh)
Language: eng
Number of pages: 41
Subjects: Prolog (Computer program language)