Logic Programming Applications: What Are the Abstractions and Implementations?
PRISM: A Language for Symbolic-Statistical Modeling