EFFECTIVE INCORPORATION OF FUNCTION INTO LOGIC

During the last decade, the integration of functional and logic languages has received widespread attraction for the purpose of offering two different programming styles in one system simultaneously. The main goal is to incorporate the characteristics of the two paradigms coherently, without degrading the performance of the whole system. However, few languages have achieved this goal. Some of them, even though they have a rich set of functions, perform poorly. Others are efficient, but lose some important facilities. The paper proposes a functional logic language Lazy Aflog and its abstract machine FW AM-II as an expressive and efficient mechanism for this incorporation. Lazy Aflog is an extension of logic language in which functions are reduced in the extended unification, called E-unification with lazy evaluation. This extended unification allows Lazy Aflog to process infinite data structures and higher-order functions naturally. FW AM-II is an extension of the Warren Abstract Machine (WAM) in which the instructions and run-time structures to provide the suspension reactivation of functional closure are added. These facilities enable FW AM-II to support not only resolution but also infinite data structures and higher-order functions efficiently. In addition, the experimental results show that Lazy Aflog and FW AM-II could be a good compromise between expressiveness and efficiency of the integration.
Publisher
BUTTERWORTH-HEINEMANN LTD
Issue Date
1991-12
Language
ENG
Citation

INFORMATION AND SOFTWARE TECHNOLOGY, v.33, no.10, pp.768 - 779

ISSN
0950-5849
DOI
10.1016/0950-5849(91)90050-L
URI
http://hdl.handle.net/10203/4932
Appears in Collection
CS-Journal Papers(저널논문)
  • Hit : 367
  • Download : 1
  • Cited 0 times in thomson ci
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡClick to seewebofscience_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0