A Polymorphic Type System for Prolog.

Alan Mycroft Richard A. O'Keefe

Published in: Artif. Intell. (1984)

Keyphrases

type checking
programming language
logic programming
expert systems
neural network
machine learning
knowledge representation
artificial intelligence
search engine
information systems
three dimensional
objective function
user interface
functional programming
abstract machine