17 Mar 2005
CS 3243 - Logical Inference
69
Prolog Inference
Q: which model do you think
Prolog uses for inference?
