{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:17:43Z","timestamp":1777889863031,"version":"3.51.4"},"reference-count":20,"publisher":"SAGE Publications","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SW"],"published-print":{"date-parts":[[2015,8,7]]},"DOI":"10.3233\/sw-140144","type":"journal-article","created":{"date-parts":[[2015,7,14]],"date-time":"2015-07-14T14:41:02Z","timestamp":1436884862000},"page":"427-449","source":"Crossref","is-referenced-by-count":0,"title":["Forest logging: A trace-based analysis of\u00a0large rule-based computations"],"prefix":"10.1177","volume":"6","author":[{"given":"Terrance","family":"Swift","sequence":"first","affiliation":[{"name":"Coherent Knowledge Systems, Inc. and NOVALincs, Universidade Nova de Lisboa, Portugal. E-mail:\u00a0terranceswift@gmail.com"}]}],"member":"179","reference":[{"key":"10.3233\/SW-140144_ref1","unstructured":"[1] C.\u00a0Andersen, B.\u00a0Benyo, M.\u00a0Calejo, M.\u00a0Dean, P.\u00a0Fodor, B.\u00a0Grosof, M.\u00a0Kifer, S.\u00a0Liang, and T.\u00a0Swift, Understanding rulelog computations in silk, in: Workshop in Logic-Based Methods in Programming Environments, 2013, Available at: http:\/\/arxiv.org\/abs\/1308.4125."},{"key":"10.3233\/SW-140144_ref2","doi-asserted-by":"crossref","unstructured":"[2] F.\u00a0Baader, S.\u00a0Brandt, and C.\u00a0Lutz, Pushing the EL envelope, in: IJCAI-05, Proc. of the Nineteenth International Joint Conference on Artificial Intelligence, L.\u00a0Kaelbling and A.\u00a0Saffiotti, eds, Professional Book Center, 2005, pp.\u00a0364\u2013369.","DOI":"10.25368\/2022.144"},{"issue":"3","key":"10.3233\/SW-140144_ref3","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","article-title":"HiLog: A foundation for higher-order logic programming","volume":"15","author":"Chen","year":"1993","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"10.3233\/SW-140144_ref4","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/227595.227597","article-title":"Tabled evaluation with delaying for general logic programs","volume":"43","author":"Chen","year":"1996","journal-title":"Journal of the ACM"},{"key":"10.3233\/SW-140144_ref5","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/S0743-1066(98)10036-5","article-title":"Opium: An extendable trace analyser for Prolog","volume":"39","author":"Ducass\u00e9","year":"1999","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"10.3233\/SW-140144_ref6","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1016\/S1571-0661(04)00248-8","article-title":"Efficient automated trace analysis: Examples with Morphine","volume":"55","author":"Ducass\u00e9","year":"2001","journal-title":"Electronic Notes on Theoretical Computer Science"},{"key":"10.3233\/SW-140144_ref7","doi-asserted-by":"crossref","unstructured":"[7] M.\u00a0Ducass\u00e9 and L.\u00a0Langevine, Automated analysis of CLP(FD) program execution traces, in: Logic Programming, 18th International Conference, P.J.\u00a0Stuckey, ed., Lecture Notes in Computer Science, Vol.\u00a02401, Springer, 2002, pp.\u00a0470\u2013 471.","DOI":"10.1007\/3-540-45619-8_35"},{"key":"10.3233\/SW-140144_ref8","doi-asserted-by":"crossref","unstructured":"[8] B.\u00a0Grosof and T.\u00a0Swift, Radial restraint: A semantically clean approach to bounded rationality for logic programs, in: Proc. of the Twenty-Seventh AAAI Conference on Artificial Intelligence, M.\u00a0desJardins and M.\u00a0Littman, eds, AAAI Press, 2013.","DOI":"10.1609\/aaai.v27i1.8682"},{"key":"10.3233\/SW-140144_ref9","doi-asserted-by":"crossref","unstructured":"[9] H.\u00a0Guo, C.R.\u00a0Ramakrishnan, and I.V.\u00a0Ramakrishnan, Speculative beats conservative justification, in: Logic Programming, 17th International Conference, P.\u00a0Codognet, ed., Lecture Notes in Computer Science, Vol.\u00a02237, Springer, 2001, pp.\u00a0150\u2013165.","DOI":"10.1007\/3-540-45635-X_18"},{"issue":"1\u20132","key":"10.3233\/SW-140144_ref10","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1017\/S1471068411000457","article-title":"An overview of Ciao and its design philosophy","volume":"12","author":"Hermenegildo","year":"2012","journal-title":"Theory and Practice of Logic Programming"},{"issue":"4\u20135","key":"10.3233\/SW-140144_ref11","doi-asserted-by":"crossref","first-page":"611","DOI":"10.1017\/S1471068402001461","article-title":"Generic program monitoring by trace analysis","volume":"2","author":"Jahier","year":"2002","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.3233\/SW-140144_ref12","doi-asserted-by":"crossref","unstructured":"[12] M.\u00a0Kifer, Nonmonotonic reasoning in FLORA-2, in: Logic Programming and Nonmonotonic Reasoning, 8th International Conference, C.\u00a0Baral, G.\u00a0Greco, N.\u00a0Leone, and G.\u00a0Terracina, eds, Lecture Notes in Computer Science, Vol.\u00a03662, Springer, 2005, pp.\u00a01\u201312.","DOI":"10.1007\/11546207_1"},{"key":"10.3233\/SW-140144_ref13","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","article-title":"Logical foundations of object-oriented and frame-based languages","volume":"42","author":"Kifer","year":"1995","journal-title":"Journal of the ACM"},{"key":"10.3233\/SW-140144_ref14","doi-asserted-by":"crossref","unstructured":"[14] L.\u00a0Langevine and M.\u00a0Ducass\u00e9, A tracer driver to enable debugging, monitoring and visualization of CLP executions from a single tracer, in: Logic Programming, 20th International Conference, B.\u00a0Demoen and V.\u00a0Lifschitz, eds, Lecture Notes in Computer Science, Vol.\u00a03132, Springer, 2004, pp.\u00a0462\u2013463.","DOI":"10.1007\/978-3-540-27775-0_39"},{"issue":"4\u20135","key":"10.3233\/SW-140144_ref15","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1017\/S1471068413000446","article-title":"A practical analysis of non-termination in large logic programs","volume":"13","author":"Liang","year":"2013","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.3233\/SW-140144_ref16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S1471068408003633","article-title":"Justifications for logic programs under the answer set semantics","volume":"9","author":"Pontelli","year":"2009","journal-title":"Theory and Practice of Logic Programming"},{"issue":"3","key":"10.3233\/SW-140144_ref17","doi-asserted-by":"crossref","first-page":"586","DOI":"10.1145\/291889.291897","article-title":"An abstract machine for tabled execution of fixed-order stratified logic programs","volume":"20","author":"Sagonas","year":"1998","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.3233\/SW-140144_ref18","doi-asserted-by":"crossref","unstructured":"[18] T.\u00a0Swift, A new formulation of tabled resolution with delay, in: Progress in Artificial Intelligence, P.\u00a0Barahona and J.\u00a0Alferes, eds, Lecture Notes in Computer Science, Vol.\u00a01695, Springer, 1999, pp.\u00a0163\u2013177.","DOI":"10.1007\/3-540-48159-1_12"},{"issue":"1\u20132","key":"10.3233\/SW-140144_ref19","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1017\/S1471068411000500","article-title":"XSB: Extending the power of Prolog using tabling","volume":"12","author":"Swift","year":"2012","journal-title":"Theory and Practice of Logic Programming"},{"key":"10.3233\/SW-140144_ref20","doi-asserted-by":"crossref","unstructured":"[20] H.\u00a0Wan, B.\u00a0Grosof, M.\u00a0Kifer, P.\u00a0Fodor, and S.\u00a0Liang, Logic programming with defaults and argumentation theories, in: Logic Programming, 25th International Conference, P.\u00a0Hill and D.S.\u00a0Warren, eds, Lecture Notes in Computer Science, Vol.\u00a05649, Springer, 2009, pp.\u00a0432\u2013448.","DOI":"10.1007\/978-3-642-02846-5_35"}],"container-title":["Semantic Web"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/SW-140144","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T05:22:40Z","timestamp":1777612960000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/SW-140144"}},"subtitle":[],"editor":[{"given":"Wolfgang","family":"Faber","sequence":"additional","affiliation":[{"name":"University of Huddersfield, UK"}]},{"given":"Domenico","family":"Lembo","sequence":"additional","affiliation":[{"name":"Sapienza University of Rome, Italy"}]}],"short-title":[],"issued":{"date-parts":[[2015,8,7]]},"references-count":20,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.3233\/sw-140144","relation":{},"ISSN":["2210-4968","1570-0844"],"issn-type":[{"value":"2210-4968","type":"electronic"},{"value":"1570-0844","type":"print"}],"subject":[],"published":{"date-parts":[[2015,8,7]]}}}