Lowering the learning curve for declarative programming: a Python API for the IDP system
Abstract
Programmers may be hesitant to use declarative systems, because of the associated learning curve. In this paper, we present an API that integrates the IDP Knowledge Base system into the Python programming language. IDP is a state-of-the-art logical system, which uses SAT, SMT, Logic Programming and Answer Set Programming technology. Python is currently one of the most widely used (teaching) languages for programming. The first goal of our API is to allow a Python programmer to use the declarative power of IDP, without needing to learn any new syntax or semantics. The second goal is allow IDP to be added to/removed from an existing code base with minimal changes.
Cite
@article{arxiv.1511.00916,
title = {Lowering the learning curve for declarative programming: a Python API for the IDP system},
author = {Joost Vennekens},
journal= {arXiv preprint arXiv:1511.00916},
year = {2015}
}
Comments
International Workshop on User-Oriented Logic Programming (IULP 2015), co-located with the 31st International Conference on Logic Programming (ICLP 2015), Proceedings of the International Workshop on User-Oriented Logic Programming (IULP 2015), Editors: Stefan Ellmauthaler and Claudia Schulz, pages 83-98, August 2015