Logic Programming Applications: What Are the Abstractions and Implementations?
Complexity and Expressive Power of Logic Programming