{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T13:23:09Z","timestamp":1777728189794,"version":"3.51.4"},"reference-count":24,"publisher":"SAGE Publications","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IA"],"published-print":{"date-parts":[[2017,4,18]]},"DOI":"10.3233\/ia-170108","type":"journal-article","created":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T17:19:15Z","timestamp":1492535955000},"page":"81-92","source":"Crossref","is-referenced-by-count":1,"title":["SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX1"],"prefix":"10.1177","volume":"11","author":[{"given":"Marco","family":"Gavanelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/IA-170108_ref1","first-page":"2001","volume-title":"Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE\u201901), Paphos, Cyprus, December","author":"Abdennadher","year":"2001"},{"key":"10.3233\/IA-170108_ref2","first-page":"109","volume-title":"Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary","author":"Abdennadher","year":"2012"},{"issue":"4","key":"10.3233\/IA-170108_ref3","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1145\/383779.383785","article-title":"Verifying security protocols as planning in logic programming","volume":"2","author":"Aiello","year":"2001","journal-title":"ACM Transactions on Computational Logics"},{"key":"10.3233\/IA-170108_ref4","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/978-3-540-30227-8_51","volume-title":"Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings","author":"Armando","year":"2004"},{"key":"10.3233\/IA-170108_ref5","first-page":"1","volume-title":"PPDP\u2019 03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming","author":"Blanchet","year":"2003"},{"issue":"3","key":"10.3233\/IA-170108_ref6","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0743-1066(94)00028-5","article-title":"Efficient top-down computation of queries under the well-founded semantics","volume":"24","author":"Chen","year":"1995","journal-title":"J Log Program"},{"key":"10.3233\/IA-170108_ref7","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"Clark","year":"1978"},{"key":"10.3233\/IA-170108_ref9","volume-title":"How To Solve it with Prolog","author":"Coelho","year":"1982"},{"key":"10.3233\/IA-170108_ref10","first-page":"76","volume-title":"LOPSTR","author":"Delzanno","year":"2001"},{"issue":"11","key":"10.3233\/IA-170108_ref11","doi-asserted-by":"crossref","first-page":"1203","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N","article-title":"An open graph visualization system and its applications to software engineering","volume":"30","author":"Gansner","year":"2000","journal-title":"Software - Practice and Experience"},{"issue":"1","key":"10.3233\/IA-170108_ref12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1109\/13.204845","article-title":"On teaching AI and expert system courses","volume":"36","author":"Garcia","year":"1993","journal-title":"IEEE Transactions on Education"},{"key":"10.3233\/IA-170108_ref14","volume-title":"CILC 2007, Conferenza Italiana di Computational Logic","author":"Gavanelli","year":"2007"},{"key":"10.3233\/IA-170108_ref16","first-page":"260","volume-title":"Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP\u2019 92, Leuven, Belgium, August 26-28, 1992, Proceedings","author":"Holzbaur","year":"1992"},{"key":"10.3233\/IA-170108_ref17","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","article-title":"Constraint logic programming: a survey","volume":"19-20","author":"Jaffar","year":"1994","journal-title":"Journal of Logic Programming"},{"key":"10.3233\/IA-170108_ref18","doi-asserted-by":"crossref","unstructured":"Kowalski R. . Algorithm = logic + control. Communications of the ACM, 22(7) (1979), 424\u2013436.","DOI":"10.1145\/359131.359136"},{"issue":"3","key":"10.3233\/IA-170108_ref20","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1145\/131295.131300","article-title":"Notes on implementing sets in Prolog","volume":"35","author":"Munakata","year":"1992","journal-title":"Communications of the ACM"},{"key":"10.3233\/IA-170108_ref21","unstructured":"Pontelli E. . Teaching (constraint) logic programming panel at ICLP 2003, ALP Newslwtter 17(1) 2004."},{"issue":"1-2","key":"10.3233\/IA-170108_ref22","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S1471068411000469","article-title":"ECLiPSe - from LP to CLP","volume":"12","author":"Schimpf","year":"2012","journal-title":"Theory and Practice of Logic Programming"},{"issue":"1-3","key":"10.3233\/IA-170108_ref23","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","article-title":"The execution algorithm of Mercury, an efficient purely declarative logic programming language","volume":"29","author":"Somogyi","year":"1996","journal-title":"Journal of Logic Programming"},{"key":"10.3233\/IA-170108_ref24","first-page":"7","author":"Stalla","year":"2009","journal-title":"Atti del convegno CILC 09 24-esimo Convegno Italiano di Logica Computazionale"},{"key":"10.3233\/IA-170108_ref25","first-page":"281","volume-title":"Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011","author":"Stalla","year":"2011"},{"key":"10.3233\/IA-170108_ref26","first-page":"99","volume-title":"Proceedings of the International Workshop on User-Oriented Logic Programming (IULP 2015)","author":"Wielemaker","year":"2015"},{"key":"10.3233\/IA-170108_ref27","doi-asserted-by":"crossref","unstructured":"Wielemaker J. , Schrijvers T. , Triska M. and Lager T. , SWIProlog. Theory and Practice of Logic Programming, 12(1-2) (2012), 67\u201396.","DOI":"10.1017\/S1471068411000494"},{"key":"10.3233\/IA-170108_ref28","volume-title":"Algorithms + Data Structures = Programs","author":"Wirth","year":"1978"}],"container-title":["Intelligenza Artificiale"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/IA-170108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:51:29Z","timestamp":1777459889000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospress&doi=10.3233\/IA-170108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,18]]},"references-count":24,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/ia-170108","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"value":"1724-8035","type":"print"},{"value":"2211-0097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,18]]}}}