Slide 11 Logic Programming Technical Foundation Second part of Cmput325 Fall 2004 R Greiner + B Price Slide 2 2 Declarative Programming Motivation Warm Fuzzies What is Logic?...…