Transpiling Programmable Computable Functions to Answer Set Programs
Programming Languages
2018-08-24 v1
Abstract
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.
Cite
@article{arxiv.1808.07770,
title = {Transpiling Programmable Computable Functions to Answer Set Programs},
author = {Ingmar Dasseville and Marc Denecker},
journal= {arXiv preprint arXiv:1808.07770},
year = {2018}
}
Comments
15 pages, Accepted for presentation in WFLP 2018