conference paper · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 2022

A Predicate Construct for Declarative Programming in Imperative Languages

James F. Smith, Xiangyu Guo, Ajay Bansal

Cited by 1Abstract and details only

Abstract

Imperative and object-oriented programming languages are among the most common languages for general-purpose programming. These languages work well for handling many common tasks necessary for most applications. However, there are still many hard problems that remain difficult to implement directly in imperative languages. Declarative languages have worked well for solving many of these problems by providing a syntax that allows the user to focus on modeling the problem rather than on designing an algorithm. Logic programming languages, like Prolog, have seen success in constraint satisfaction problems, logical databases, and various NP-Hard problems. Unfortunately, these languages have not seen the same success in general-purpose programming, and most of the problems they solve do not exist in isolation. Furthermore, many imperative programmers are still unfamiliar with and unaware of logic programming.

Cite this paper

APA 7

Smith, J. F., Guo, X., & Bansal, A. (2022). A Predicate Construct for Declarative Programming in Imperative Languages. International Symposium on Principles and Practice of Declarative Programming (PPDP), 1–13. https://doi.org/10.1145/3551357.3551379

MLA 9

Smith, James F., et al. “A Predicate Construct for Declarative Programming in Imperative Languages.” International Symposium on Principles and Practice of Declarative Programming (PPDP), 2022, pp. 1–13, https://doi.org/10.1145/3551357.3551379.

Chicago

Smith, James F., Xiangyu Guo, and Ajay Bansal. 2022. “A Predicate Construct for Declarative Programming in Imperative Languages.” International Symposium on Principles and Practice of Declarative Programming (PPDP): 1–13. https://doi.org/10.1145/3551357.3551379.

Harvard

Smith, J.F., Guo, X. and Bansal, A. (2022) ‘A Predicate Construct for Declarative Programming in Imperative Languages’, International Symposium on Principles and Practice of Declarative Programming (PPDP), pp. 1–13. Available at: https://doi.org/10.1145/3551357.3551379.

BibTeX

@article{smith2022predicate,
  title = {{A Predicate Construct for Declarative Programming in Imperative Languages}},
  author = {Smith, James F. and Guo, Xiangyu and Bansal, Ajay},
  journal = {International Symposium on Principles and Practice of Declarative Programming (PPDP)},
  pages = {1--13},
  year = {2022},
  doi = {10.1145/3551357.3551379}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.