Logic and programming

Ennals, Richard and Briggs, Jonathan (1984) Logic and programming. In: Torrance, Steve, (ed.) The mind and the machine: philosophical aspects of artificial intelligence. Chichester : Ellis Horwood Limited. pp. 133-144. (Artificial Intelligence) ISBN 0853127123

Abstract

This chapter locates logic programming in the context of the history of ideas, and in particular the tradition concerned with the formalising of human reasoning using logic.

Actions (Repository Editors)

Item Control Page Item Control Page