Journal article icon

Journal article

Prolog's Control Constructs in a Functional Setting — Axioms and Implementation

Abstract:

The purpose of this article is twofold. First, we show that Prolog's control constructs can be smoothly integrated into a functional language like Haskell. The resulting `language', termed embedded Prolog, incorporates many of the features prescribed by the Prolog ISO standard: control constructs including the cut, all solution collecting functions, and error handling facilities. Embedded Prolog lacks some concepts such as logical variables but it inherits all of Haskell's strengths, eg stati...

Expand abstract

Actions


Access Document


Publisher copy:
10.1142/S0129054101000436

Authors


Journal:
IJFCS More from this journal
Volume:
12
Issue:
2
Pages:
125-170
Publication date:
2001-01-01
DOI:
UUID:
uuid:6ea601c5-5e3e-42ee-a7a2-cdcf2f2ea913
Local pid:
cs:1149
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP