Logic programming is an approach to computer science in which the first order predicate logic is used as a high level programming language. The use of symbolic logic as a programming language has a ...