Type Analysis of Prolog Using Type Graphs.

Pascal Van Hentenryck Agostino Cortesi Baudouin Le Charlier

Published in: PLDI (1994)

Keyphrases

statistical analysis
real time
information systems
knowledge base
expert systems
artificial neural networks
complex structures