A Polymorphic Type System for Prolog.

Alan Mycroft Richard A. O'Keefe

Published in: Logic Programming Workshop (1983)

Keyphrases

type checking
information retrieval
expert systems
real world
neural network
multi agent
knowledge base
search algorithm
user interface
general purpose
programming language
logic programming
constraint logic programming
prolog programs