EARLY CASES OF BERTILLON: THE LOGIC PROGRAMMING SLEUTH

Passing of the Bertillon System of Identification

Multi-paradigm Logic Programming Compositional Logic Programming

Programming with Logic without Logic Programming

We extend a logic-based agent and production system language, LPS, from the single agent to the multi-agent case in which agents coordinate their behaviour through the medium of a shared state, which is viewed as a model-theoretic structure. In the extended language MALPS, each agent can be viewed as a collection of reactive rules: conditions  conclusions, which have both a procedural and a de...

Programming in logic without logic programming

In previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states. In this model-theoretic semantics, reactive rules are the driving for...

Programming by Logic and Logic by Programming

This paper is an extended abstract of parts I and II of a monograph with the same title being prepared by the authors. Logic was developed before the arrival of computers and it can be presented without reference to them. The main idea of the monograph is to stress the mutual links between logic and computer programming by taking those parts of logic which deal with computability and nitary log...