{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:33:25Z","timestamp":1750221205055,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"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":[[2018,9,3]]},"DOI":"10.1145\/3236950.3236966","type":"proceedings-article","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T12:09:54Z","timestamp":1534248594000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Web-based Visualisation for Definite Clause Grammars Using Prolog Meta-Interpreters"],"prefix":"10.1145","author":[{"given":"Falco","family":"Nogatz","sequence":"first","affiliation":[{"name":"University of W\u00fcrzburg, Department of Computer Science, W\u00fcrzburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jona","family":"Kalkus","sequence":"additional","affiliation":[{"name":"University of W\u00fcrzburg, Department of Computer Science, W\u00fcrzburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dietmar","family":"Seipel","sequence":"additional","affiliation":[{"name":"University of W\u00fcrzburg, Department of Computer Science, W\u00fcrzburg, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"International Semantic Web Conference (Posters & Demos).","author":"Beek Wouter","year":"2016","unstructured":"Wouter Beek and Jan Wielemaker . 2016 . SWISH: An Integrated Semantic Web Notebook .. In International Semantic Web Conference (Posters & Demos). Wouter Beek and Jan Wielemaker. 2016. SWISH: An Integrated Semantic Web Notebook.. In International Semantic Web Conference (Posters & Demos)."},{"key":"e_1_3_2_1_2_1","volume-title":"Logic Programming Workshop","author":"Byrd Lawrence","year":"1980","unstructured":"Lawrence Byrd . 1980 . Understanding the control flow of Prolog programs . Logic Programming Workshop (1980). Lawrence Byrd. 1980. Understanding the control flow of Prolog programs. Logic Programming Workshop (1980)."},{"volume-title":"Natural language communication with computers","author":"Colmerauer Alain","key":"e_1_3_2_1_3_1","unstructured":"Alain Colmerauer . 1978. Metamorphosis grammars . In Natural language communication with computers . Springer , 133--188. Alain Colmerauer. 1978. Metamorphosis grammars. In Natural language communication with computers. Springer, 133--188."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/79204.79210"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90030-2"},{"key":"e_1_3_2_1_6_1","unstructured":"Jonathan Hodgson (ed.). 2015. ISO\/IEC DTR 13211-3:2006 Definite clause grammar rules. ISO Standard. International Organization for Standardization.  Jonathan Hodgson (ed.). 2015. ISO\/IEC DTR 13211-3:2006 Definite clause grammar rules. ISO Standard. International Organization for Standardization."},{"key":"e_1_3_2_1_7_1","first-page":"1995","article-title":"Information technology -- Programming languages -- Prolog -- Part 1: General core","volume":"13211","author":"International Organization for Standardization.","year":"1995","unstructured":"International Organization for Standardization. 1995 . Information technology -- Programming languages -- Prolog -- Part 1: General core . ISO Standard ISO\/IEC 13211-1 : 1995 . International Organization for Standardization. 1995. Information technology -- Programming languages -- Prolog -- Part 1: General core. ISO Standard ISO\/IEC 13211-1:1995.","journal-title":"ISO Standard ISO\/IEC"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/982962.964011"},{"key":"e_1_3_2_1_9_1","volume-title":"An Interactive Visualisation for Definite Clause Grammars. Master Thesis","author":"Kalkus Jona","year":"2017","unstructured":"Jona Kalkus . 2017. An Interactive Visualisation for Definite Clause Grammars. Master Thesis , University of W\u00fcrzburg , Germany ( 2017 ). Jona Kalkus. 2017. An Interactive Visualisation for Definite Clause Grammars. Master Thesis, University of W\u00fcrzburg, Germany (2017)."},{"key":"e_1_3_2_1_10_1","volume-title":"ClickyEvaluation: A Step-by-Step Evaluator for Functional Programming Expressions. In 2nd European Conference of Software Engineering Education. ECSEE.","author":"K\u00f6gel Stefan","year":"2016","unstructured":"Stefan K\u00f6gel , Joscha C\u00fcppers , and Matthias Tichy . 2016 . ClickyEvaluation: A Step-by-Step Evaluator for Functional Programming Expressions. In 2nd European Conference of Software Engineering Education. ECSEE. Stefan K\u00f6gel, Joscha C\u00fcppers, and Matthias Tichy. 2016. ClickyEvaluation: A Step-by-Step Evaluator for Functional Programming Expressions. In 2nd European Conference of Software Engineering Education. ECSEE."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/381788.316186"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068414000192"},{"key":"e_1_3_2_1_13_1","volume-title":"Natural language processing with prolog in the IBM watson system","author":"Lally Adam","year":"2011","unstructured":"Adam Lally and Paul Fodor . 2011. Natural language processing with prolog in the IBM watson system . The Association for Logic Programming (ALP) Newsletter ( 2011 ). Adam Lally and Paul Fodor. 2011. Natural language processing with prolog in the IBM watson system. The Association for Logic Programming (ALP) Newsletter (2011)."},{"key":"e_1_3_2_1_14_1","volume-title":"Myrtle: A set-oriented meta-interpreter driven by a \"relational\" trace for deductive databases debugging. In Research Report RR-3598. INRIA.","author":"Mallet Sarah","year":"1999","unstructured":"Sarah Mallet and Mireille Ducass\u00e9 . 1999 . Myrtle: A set-oriented meta-interpreter driven by a \"relational\" trace for deductive databases debugging. In Research Report RR-3598. INRIA. Sarah Mallet and Mireille Ducass\u00e9. 1999. Myrtle: A set-oriented meta-interpreter driven by a \"relational\" trace for deductive databases debugging. In Research Report RR-3598. INRIA."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. 30th Workshop on Logic Programming (WLP","author":"Nogatz Falco","year":"2016","unstructured":"Falco Nogatz and Dietmar Seipel . 2016 . Implementing GraphQL as a Query Language for Deductive Databases in SWI--Prolog Using DCGs, Quasi Quotations, and Dicts . In Proc. 30th Workshop on Logic Programming (WLP 2016). Falco Nogatz and Dietmar Seipel. 2016. Implementing GraphQL as a Query Language for Deductive Databases in SWI--Prolog Using DCGs, Quasi Quotations, and Dicts. In Proc. 30th Workshop on Logic Programming (WLP 2016)."},{"key":"e_1_3_2_1_16_1","volume-title":"Definite clause grammars for language analysis -- a survey of the formalism and a comparison with augmented transition networks. Artificial intelligence 13, 3","author":"Pereira Fernando CN","year":"1980","unstructured":"Fernando CN Pereira and David HD Warren . 1980. Definite clause grammars for language analysis -- a survey of the formalism and a comparison with augmented transition networks. Artificial intelligence 13, 3 ( 1980 ), 231--278. Fernando CN Pereira and David HD Warren. 1980. Definite clause grammars for language analysis -- a survey of the formalism and a comparison with augmented transition networks. Artificial intelligence 13, 3 (1980), 231--278."},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. 6th International Workshop on Natural Language Processing and Cognitive Science (NLPCS","author":"Schneiker Christian","year":"2009","unstructured":"Christian Schneiker , Dietmar Seipel , Werner Wegstein , and Klaus Pr\u00e4tor . 2009 . Declarative Parsing and Annotation of Electronic Dictionaries . In Proc. 6th International Workshop on Natural Language Processing and Cognitive Science (NLPCS 2009). 122--132. Christian Schneiker, Dietmar Seipel, Werner Wegstein, and Klaus Pr\u00e4tor. 2009. Declarative Parsing and Annotation of Electronic Dictionaries. In Proc. 6th International Workshop on Natural Language Processing and Cognitive Science (NLPCS 2009). 122--132."},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. of 8th Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (LTC","author":"Seipel Dietmar","year":"2017","unstructured":"Dietmar Seipel , Falco Nogatz , and Salvador Abreu . 2017 . Prolog for Expert Knowledge Using Domain-Specific and Controlled Natural Languages . In Proc. of 8th Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (LTC 2017). 138--140. Dietmar Seipel, Falco Nogatz, and Salvador Abreu. 2017. Prolog for Expert Knowledge Using Domain-Specific and Controlled Natural Languages. In Proc. of 8th Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (LTC 2017). 138--140."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2017.06.006"},{"key":"e_1_3_2_1_20_1","volume-title":"PrettyProlog: A Java interpreter and visualizer of Prolog programs. Atti del convegno CILC 9","author":"Stalla Alessia","year":"2009","unstructured":"Alessia Stalla , Viviana Mascardi , and Maurizio Martelli . 2009. PrettyProlog: A Java interpreter and visualizer of Prolog programs. Atti del convegno CILC 9 ( 2009 ), 7--11. Alessia Stalla, Viviana Mascardi, and Maurizio Martelli. 2009. PrettyProlog: A Java interpreter and visualizer of Prolog programs. Atti del convegno CILC 9 (2009), 7--11."},{"volume-title":"The art of Prolog: advanced programming techniques","author":"Sterling Leon","key":"e_1_3_2_1_21_1","unstructured":"Leon Sterling and Ehud Y Shapiro . 1994. The art of Prolog: advanced programming techniques . MIT press . Leon Sterling and Ehud Y Shapiro. 1994. The art of Prolog: advanced programming techniques. MIT press."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/203548.203554"},{"key":"e_1_3_2_1_23_1","volume-title":"Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments","author":"Wielemaker Jan","year":"2014","unstructured":"Jan Wielemaker . 2014 . SWI-Prolog version 7 extensions . In Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014. 109. Jan Wielemaker. 2014. SWI-Prolog version 7 extensions. In Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014. 109."},{"key":"e_1_3_2_1_24_1","volume-title":"Updated for version 7.6","author":"Wielemaker Jan","year":"2017","unstructured":"Jan Wielemaker . 2017. SWI Prolog Reference Manual , Updated for version 7.6 , October 2017 . Jan Wielemaker. 2017. SWI Prolog Reference Manual, Updated for version 7.6, October 2017."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. 23rd Workshop on Logic-based Methods in Programming Environments (WLPE","author":"Wielemaker Jan","year":"2013","unstructured":"Jan Wielemaker and Michael Hendricks . 2013 . Why It's Nice to be Quoted: Quasiquoting for Prolog . In Proc. 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013). Jan Wielemaker and Michael Hendricks. 2013. Why It's Nice to be Quoted: Quasiquoting for Prolog. In Proc. 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"}],"event":{"name":"PPDP '18: The 20th International Symposium on Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Goethe University Goethe University Frankfurt"],"location":"Frankfurt am Main Germany","acronym":"PPDP '18"},"container-title":["Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236950.3236966","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236950.3236966","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:34Z","timestamp":1750210774000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236950.3236966"}},"subtitle":["System Description"],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":26,"alternative-id":["10.1145\/3236950.3236966","10.1145\/3236950"],"URL":"https:\/\/doi.org\/10.1145\/3236950.3236966","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}