{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:15:59Z","timestamp":1750220159592,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T00:00:00Z","timestamp":1663632000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,20]]},"DOI":"10.1145\/3551357.3551379","type":"proceedings-article","created":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T15:37:25Z","timestamp":1663688245000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A Predicate Construct for Declarative Programming in Imperative Languages"],"prefix":"10.1145","author":[{"given":"James","family":"Smith","sequence":"first","affiliation":[{"name":"Arizona State University, United States"}]},{"given":"Xiangyu","family":"Guo","sequence":"additional","affiliation":[{"name":"Arizona State University, United States"}]},{"given":"Ajay","family":"Bansal","sequence":"additional","affiliation":[{"name":"Arizona State University, United States"}]}],"member":"320","published-online":{"date-parts":[[2022,9,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Computer languages, systems & structures 31, 1","author":"Amandi Anal\u00eda","year":"2005","unstructured":"Anal\u00eda Amandi , Marcelo Campo , and Alejandro Zunino . 2005. JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Computer languages, systems & structures 31, 1 ( 2005 ), 17\u201333. Anal\u00eda Amandi, Marcelo Campo, and Alejandro Zunino. 2005. JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Computer languages, systems & structures 31, 1 (2005), 17\u201333."},{"key":"e_1_3_2_1_2_1","volume-title":"Alma-0: An imperative language thet supports declarative programming. ACM transactions on programming languages and systems 20, 5","author":"Apt Krzysztof","year":"1998","unstructured":"Krzysztof Apt , J Brunekreef , V Partinton , and A Schaerf . 1998. Alma-0: An imperative language thet supports declarative programming. ACM transactions on programming languages and systems 20, 5 ( 1998 ), 1014\u20131066. Krzysztof Apt, J Brunekreef, V Partinton, and A Schaerf. 1998. Alma-0: An imperative language thet supports declarative programming. ACM transactions on programming languages and systems 20, 5 (1998), 1014\u20131066."},{"volume-title":"Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"R.","key":"e_1_3_2_1_3_1","unstructured":"Krzysztof\u00a0 R. Apt and Andrea Schaerf. 1997. Search and Imperative Programming . In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ( Paris, France) (POPL \u201997). Association for Computing Machinery, New York, NY, USA, 67\u201379. https:\/\/doi.org\/10.1145\/263699.263709 10.1145\/263699.263709 Krzysztof\u00a0R. Apt and Andrea Schaerf. 1997. Search and Imperative Programming. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Paris, France) (POPL \u201997). Association for Computing Machinery, New York, NY, USA, 67\u201379. https:\/\/doi.org\/10.1145\/263699.263709"},{"key":"e_1_3_2_1_4_1","volume-title":"Apt and Andrea Schaerf","author":"R.","year":"1999","unstructured":"Krzysztof\u00a0 R. Apt and Andrea Schaerf . 1999 . The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming . https:\/\/doi.org\/10.48550\/ARXIV.CS\/9907027 10.48550\/ARXIV.CS Krzysztof\u00a0R. Apt and Andrea Schaerf. 1999. The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming. https:\/\/doi.org\/10.48550\/ARXIV.CS\/9907027"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/322326.322339"},{"volume-title":"Logic programming with Prolog","author":"Bramer A.","key":"e_1_3_2_1_6_1","unstructured":"M.\u00a0 A. (Max\u00a0A.) Bramer . 2005. Logic programming with Prolog . Springer , New York . M.\u00a0A. (Max\u00a0A.) Bramer. 2005. Logic programming with Prolog. Springer, New York."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.62933"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599419"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Michael Gelfond. 2008. Chapter 7 Answer Sets. In Foundations of Artificial Intelligence. Vol.\u00a03. Elsevier Amsterdam 285\u2013316.  Michael Gelfond. 2008. Chapter 7 Answer Sets. In Foundations of Artificial Intelligence. Vol.\u00a03. Elsevier Amsterdam 285\u2013316.","DOI":"10.1016\/S1574-6526(07)03007-6"},{"volume-title":"Datalog and logic databases","author":"Greco Sergio","key":"e_1_3_2_1_10_1","unstructured":"Sergio Greco . 2016 - 2016. Datalog and logic databases . Morgan & Claypool Publishers , San Rafael , California. Sergio Greco. 2016 - 2016. Datalog and logic databases. Morgan & Claypool Publishers, San Rafael, California."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61511-3_97"},{"key":"e_1_3_2_1_12_1","volume-title":"Answer Set Programming","year":"2019","unstructured":"Vladimir. Lifschitz. 2019. Answer Set Programming ( 1 st ed. 2019 . ed.). Springer International Publishing , Cham . Vladimir. Lifschitz. 2019. Answer Set Programming(1st ed. 2019. ed.). Springer International Publishing, Cham.","edition":"1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316061"},{"volume-title":"Foundations of logic programming(2nd, extended ed. ed.)","author":"Lloyd W.","key":"e_1_3_2_1_14_1","unstructured":"J.\u00a0 W. (John\u00a0Wylie) Lloyd . 1987. Foundations of logic programming(2nd, extended ed. ed.) . Springer-Verlag , Berlin ;. J.\u00a0W. (John\u00a0Wylie) Lloyd. 1987. Foundations of logic programming(2nd, extended ed. ed.). Springer-Verlag, Berlin ;."},{"volume-title":"Foundations of Artificial Intelligence. Vol.\u00a02","author":"Marriott Kim","key":"e_1_3_2_1_15_1","unstructured":"Kim Marriott , Peter\u00a0 J Stuckey , and Mark Wallace . 2006. Constraint Logic Programming . In Foundations of Artificial Intelligence. Vol.\u00a02 . Elsevier Science & Technology , Oxford , 409\u2013452. Kim Marriott, Peter\u00a0J Stuckey, and Mark Wallace. 2006. Constraint Logic Programming. In Foundations of Artificial Intelligence. Vol.\u00a02. Elsevier Science & Technology, Oxford, 409\u2013452."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_17_1","unstructured":"Python. 2021. Python 3.9.5 Documentation. https:\/\/docs.python.org\/3.9\/ Accessed: 2021-05-12.  Python. 2021. Python 3.9.5 Documentation. https:\/\/docs.python.org\/3.9\/ Accessed: 2021-05-12."},{"volume-title":"python-constraint: Constraint Solving Problem resolver for Python. https:\/\/github.com\/python-constraint\/python-constraint Accessed on","year":"2021","key":"e_1_3_2_1_18_1","unstructured":"python constraint. 2021. python-constraint: Constraint Solving Problem resolver for Python. https:\/\/github.com\/python-constraint\/python-constraint Accessed on : Oct. 12, 2021 . python constraint. 2021. python-constraint: Constraint Solving Problem resolver for Python. https:\/\/github.com\/python-constraint\/python-constraint Accessed on: Oct. 12, 2021."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3397537.3399575"},{"key":"e_1_3_2_1_20_1","volume-title":"Toward integration of the imperative and logic programming paradigms: Horn-clause programming in the Pascal environment. SIGPLAN notices 25, 2","author":"Radensky A","year":"1990","unstructured":"A Radensky . 1990. Toward integration of the imperative and logic programming paradigms: Horn-clause programming in the Pascal environment. SIGPLAN notices 25, 2 ( 1990 ), 25\u201334. A Radensky. 1990. Toward integration of the imperative and logic programming paradigms: Horn-clause programming in the Pascal environment. SIGPLAN notices 25, 2 (1990), 25\u201334."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/AIKE52691.2021.00015"},{"edition":"2","volume-title":"The art of Prolog : advanced programming techniques","key":"e_1_3_2_1_22_1","unstructured":"Leon. Sterling. 1994. The art of Prolog : advanced programming techniques ( 2 nd ed. ed.). MIT Press , Cambridge, Mass . Leon. Sterling. 1994. The art of Prolog : advanced programming techniques (2nd ed. ed.). MIT Press, Cambridge, Mass."},{"volume-title":"Practical Aspects of Declarative Languages(Lecture Notes in Computer Science)","author":"Vennekens Joost","key":"e_1_3_2_1_23_1","unstructured":"Joost Vennekens . 2016. Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System . In Practical Aspects of Declarative Languages(Lecture Notes in Computer Science) . Springer International Publishing , Cham , 86\u2013102. Joost Vennekens. 2016. Lowering the Learning Curve for Declarative Programming: A Python API for the IDP System. In Practical Aspects of Declarative Languages(Lecture Notes in Computer Science). Springer International Publishing, Cham, 86\u2013102."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"}],"event":{"name":"PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming","acronym":"PPDP 2022","location":"Tbilisi Georgia"},"container-title":["Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3551379","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551357.3551379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:24Z","timestamp":1750186824000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551357.3551379"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,20]]},"references-count":24,"alternative-id":["10.1145\/3551357.3551379","10.1145\/3551357"],"URL":"https:\/\/doi.org\/10.1145\/3551357.3551379","relation":{},"subject":[],"published":{"date-parts":[[2022,9,20]]},"assertion":[{"value":"2022-09-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}