From Logic to Functional Logic Programs. Issue 4 (4th July 2022)

• Record Type: Journal Article
• Authors: HANUS, MICHAEL
• Is Part Of: Theory and practice of logic programming. Volume 22:Issue 4(2022)
• Page Start: 538
• Page End: 554
• Publication Date: 2022-07-04
• Subjects: functional logic programming -- transformation -- resolution -- narrowing strategies; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068422000187
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: Logic programming is a flexible programming paradigm due to the use of predicates without a fixed data flow. To extend logic languages with the compact notation of functional programming, there are various proposals to map evaluable functions into predicates in order to stay in the logic programming framework. Since amalgamated functional logic languages offer flexible as well as efficient evaluation strategies, we propose an opposite approach in this paper. By mapping logic programs into functional logic programs with a transformation based on inferring functional dependencies, we develop a fully automatic transformation which keeps the flexibility of logic programming but can improve computations by reducing infinite search spaces to finite ones.