A practical type analysis for verification of modular prolog programs.

Pawel Pietrzak Jesús Correas Germán Puebla Manuel V. Hermenegildo

Published in: PEPM (2008)

Keyphrases

prolog programs
quantitative analysis
statistical analysis
neural network
information retrieval
natural language
artificial neural networks