Logic programming: ideal vs practice
Loading...
Authors
Labuschagne, W.A.
Van der Westhuizen, PL
Issue Date
1992
Type
Article
Language
en
Keywords
Logic programming , Resolution , Negation-as-failure , Closed world assumption , Completed database , Stratified program
Alternative Title
Abstract
The logician who encounters logic programming expects it to involve 'using predicate logic as a programming language'.
He is soon disillusioned. He discovers that it really means 'programming in PROLOG', which in tum seems to mean 'programming in a procedural language combining a peculiar syntax with an unusual flow of control that runs counter to certain basic assumptions of logic'. The baffled logician is left wondering how PROLOG could have come to be viewed as a logic programming language. In this paper we compare Gabbay's logicprogramming ideal with logic programming in practice and show how they may be reconciled. The reconciliation has implications for the teaching of logic programming and throws some light on the possible nature of future implementations. A crucial role is played in the discussion by the notion of feasibility. It is argued that, as yet, no appropriate theoretical framework for analysing the efficiency of proof procedures exists, but that some indication of what such a framework should look like can be gleaned from practice.
Description
Citation
Labuschagne WA & Van der Westhuizen PL (1992) Logic programming: ideal vs practice. South African Computer Journal, Number 8, 1992
Publisher
South African Computer Society (SAICSIT)
License
Journal
Volume
Issue
PubMed ID
DOI
ISSN
2313-7835