Logic programming : operational semantics and proof theory
Logic programming systems which use parallel strategies for computing 'and' and 'or' are theoretically elegant, but systems which use sequential strategies are far more widely used and do not fit well into the traditional theory of logic programming. This thesis presents operatio...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
1991
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.640536 |