Now showing items 1-2 of 2
Applied logic : its use and implementation as a programming tool
(The University of Edinburgh, 1978)
The first Part of the thesis explains from first principles the concept of "logic programming" and its practical application in the programming language Prolog. Prolog is a simple but powerful language which encourages ...
Using Goal Structure to Direct Search in a Problem Solver
(The University of Edinburgh, 1976)
This thesis describes a class of problems in which interactions occur when plans to achieve members of a set of simultaneous goals are concatenated in the hope of achieving the whole goal. They will be termed "interaction ...