A Type Inference System for Prolog.

Jiyang Xu David Scott Warren

Published in: ICLP/SLP (1988)

Keyphrases

expert systems
artificial intelligence
decision making
programming language
neural network
genetic algorithm
learning algorithm
knowledge base
metadata
multimedia
website
web services
three dimensional
high level
feature extraction
object recognition