Type Analysis of Prolog Using Type Graphs.

Pascal Van Hentenryck Agostino Cortesi Baudouin Le Charlier

Published in: J. Log. Program. (1995)

Keyphrases

neural network
statistical analysis
quantitative analysis
databases
real world
social networks
image processing
case study
search algorithm
programming language
logic programming
graph matching
graph theory