paper-with-me

홈 › Papers

Using Prolog for Transforming XML Documents

2019-12-17 · René Haberland

Proponents of the programming language Prolog share the opinion Prolog is more appropriate for transforming XML-documents as other well-established techniques and languages like XSLT. In order to clarify this position this work proposes a tuProlog-styled interpreter for parsing XML-documents into Prolog-internal lists and vice versa for serialising lists into XML-documents. Based on this implementation a comparison between XSLT and Prolog follows. First, criteria are researched, such as considered language features of XSLT, usability and expressibility. These criteria are validated. Second, it is assessed when Prolog distinguishes between input and output parameters towards reversible transformation.

📄 PDF Abstract BibTeX arXiv:1912.10817

Code (0)

등록된 구현이 없습니다.

Tasks

Position

Similar Papers 제목 키워드 기반

Transformation of XML Documents with Prolog

2019-06-19 · René Haberland, Igor L. Bratchikov

Transforming XML documents with conventional XML languages, like XSL-T, is disadvantageous because there is too lax abstraction on the target language and it is rather difficult to recognize rule-oriented transformations…

RetrievalText Retrieval

Simulating Petri nets with Boolean Matrix Logic Programming

2024-05-18 · Lun Ai, Stephen H. Muggleton, Shi-Shun Liang, Geoff S. Baldwin

Recent attention to relational knowledge bases has sparked a demand for understanding how relations change between entities. Petri nets can represent knowledge structure and dynamically simulate interactions between enti…

Prolog-based agnostic explanation module for structured pattern classification

2021-12-23 · Gonzalo Nápoles, Fabian Hoitsma, Andreas Knoben, Agnieszka Jastrzebska 외

This paper presents a Prolog-based reasoning module to generate counterfactual explanations given the predictions computed by a black-box classifier. The proposed symbolic reasoning module can also resolve what-if querie…

ChatbotClassificationcounterfactualMissing Values+1

PIE -- Proving, Interpolating and Eliminating on the Basis of First-Order Logic

2019-08-29 · Christoph Wernhard

PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. It includes a versatile formula macro system and supports the creation of documents that intersperse macro definitions, reas…

KBSET -- Knowledge-Based Support for Scholarly Editing and Text Processing

2019-08-29 · Jana Kittelmann, Christoph Wernhard

KBSET supports a practical workflow for scholarly editing, based on using LaTeX with dedicated commands for semantics-oriented markup and a Prolog-implemented core system. Prolog plays there various roles: as query langu…