Logic Programming Applications: What Are the Abstractions and Implementations?
A survey of trust in internet applications