---
title: "\"Logal\": Algorithmic Control Structures for Prolog"
authors:
  - "D. C. Dodson"
  - "Alan L. Rector"
doi: ""
url: "https://ijcai.org/proceedings/1983/128"
pdf: "https://ijcai.org/proceedings/1983/0128.pdf"
venue: "Proceedings of the Eighth International Joint Conference on Artificial Intelligence"
year: 1983
pages: "536-537"
track: "Logic Programming"
keywords:
---

# "Logal": Algorithmic Control Structures for Prolog

D. C. Dodson, Alan L. Rector

*Proceedings of the Eighth International Joint Conference on Artificial Intelligence*, 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.