CS95 Deductive Databases
Visual Pro Log Beginners
Logic: The Big Picture Propositional logic: atomic statements are facts –Inference via resolution is sound and complete (though likely computationally.
Logic: The Big Picture