From Logic Design to Logic Programming

Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programm...