Logic programming has increasing significance in computer science beyond the current fashion for expert systems. This book takes a software engineering rather t

Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has be

Representation and reasoning; Logic programs; Programming style; Data structures; Program verification; Formal program synthesis; Implementation; Broader contri

Computing with logic / Maier, D., Warren, D.S.

Representation and reasoning; Logic programs; Programming style; Data structures; Program verification; Formal program synthesis; Implementation; Broader contri