"Logal": Algorithmic Control Structures for Prolog
Proceedings of the Eighth International Joint Conference on Artificial Intelligence. Logic Programming. Pages 536-537.
Abstract
In practical Prolog applications, difficult and opaque uses of control primitives are often unavoidable. To relieve these difficulties, a pre1 iminary set of high-level control predicates has been developed. Two technical goals were achieved. The first was to cast control facilities found desirable in conventional languages into a logicprogramming form . The second was to provide convenient high-level structures for all the sorts of algorithmic routines a Prolog clause might sensibly perform. The avai labi II ty of such structures should make deliberately algorithmic use of Prolog r~spectable and may help win Prolog wider use.
@inproceedings{ijcai1983p128,
title = {"Logal": Algorithmic Control Structures for Prolog},
author = {Dodson, D. C. and Rector, Alan L.},
booktitle = {Proceedings of the Eighth International Joint Conference on
Artificial Intelligence, {IJCAI-83}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Alan Bundy},
pages = {536--537},
year = {1983},
note = {Logic Programming},
url = {https://ijcai.org/proceedings/1983/128},
}
TY - CPAPER TI - "Logal": Algorithmic Control Structures for Prolog AU - Dodson, D. C. AU - Rector, Alan L. T2 - Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI-83 PB - International Joint Conferences on Artificial Intelligence PY - 1983 SP - 536 EP - 537 UR - https://ijcai.org/proceedings/1983/128 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
