Prolog Computation Model BPM and its Debugger PROEDIT2.

Shinichi Morishita Masayuki Numao

Published in: LP (1986)

Keyphrases

computational model
mathematical model
high level
formal model
probabilistic model
probability distribution
experimental data
parameter estimation
abstract machine
statistical model
theoretical analysis
management system
prior knowledge
theoretical framework
logic programming
prediction model
database systems