Introduction to Logic Programming

Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. and we define classical logic programs as sets of view definitions, written using traditional Prolog-like notation but with semantics given in terms of datasets rather than implementation.