Design and Implementation of Logic Programming Systems Tabling in Logic Programming Parallel and Distributed Systems Inductive Logic Programming Probabilistic Logic Programming Deductive Databases