< Back to previous page

Publication

Transpiling Programming Computable Functions to Answer Set Programs

Book Contribution - Book Chapter Conference Contribution

© 2019, Springer Nature Switzerland AG. Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focused on solving search problems. In this paper we provide a translation from PCF to ASP. Using this translation it becomes possible to specify search problems using PCF.
Book: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Pages: 3 - 17
ISBN:9783030162016
Publication year:2018

Authors/publisher

Research units

Events

  • Functional and Constraint Logic Programming - 26th International Workshop()

    Frankfurt/Main, Germany