Kowalski (1988) characterises logic programming as sharing with mechanical theorem proving the use of logic to represent knowledge and of deduction to solve problems.
One recorded claim. The claim panel gives its qualification, the source passages with their place in each source, and how it was checked.
What it connects
The Early Years of Logic Programming → discusses →
Where it appears
No collection page holds this claim. It is listed with its records in the explorer.