CSC321: Programming Languages14-1 Programming Languages Tucker and Noonan Contents 15.1 Logic and Horn Clauses 15.2 Logic Programming in Prolog 15.2.1.
Modeling and Inference with Relational Dynamic Bayesian Networks Cristina Manfredotti