1 “... account of the mathematical methods and tools required for the semantic analysis of logic programs...”

2 “...) Background, 2) Queries, Predicates, and Semantic Cache, 3) Algorithms and Logic Programming, and 4) Semantic...”