{rfName}
Te

Indexed in

Citations

9

Altmetrics

Analysis of institutional authors

Morales JfAuthorFerreiro DAuthorHermenegildo MvCorresponding Author

Share

July 10, 2023
Publications
>
Chapter
No

Teaching Prolog with Active Logic Documents

Publicated to: Syntactic ASP Forgetting with Forks. 13900 LNAI 171-183 - 2023-01-01 13900 LNAI(), DOI: 10.1007/978-3-031-35254-6_14

Authors:

Morales JF; Abreu S; Ferreiro D; Hermenegildo MV
[+]

Affiliations

IMDEA Software Institute , Universidad Politécnica de Madrid - Author
University of Évora - Author

Abstract

Teaching materials for programming languages, and Prolog in particular, classically include textbooks, slides, notes, and exercise sheets, together with some Prolog programming environment. However, modern web technology offers many opportunities for embedding interactive components within such teaching materials. We report on our experiences in developing and applying our approach and the corresponding tools to facilitating this task, that we call Active Logic Documents (ALD). ALD offers both a very easy way to add click-to-run capabilities to any kind of teaching materials, independently of the tool used to generate them, as well as a tool-set for generating web-based materials with embedded examples and exercises. Both leverage on (components of) the Ciao Prolog Playground. Fundamental principles of our approach are that active parts run locally on the student’s browser, with no need for a central infrastructure, and that output is generated from a single, easy to use source that can be developed with any editor. We argue that this has multiple advantages from the point of view of scalability, low maintenance cost, security, ease of packaging and distribution, etc. over other approaches.
[+]

Keywords

Active logic documentsCiao-prologLiterate programmingLogic programmingPrologProlog playgroundsTeaching prologWeb

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal Syntactic ASP Forgetting with Forks due to its progression and the good impact it has achieved in recent years, according to the agency Scopus (SJR), it has become a reference in its field. In the year of publication of the work, 2023, it was in position , thus managing to position itself as a Q2 (Segundo Cuartil), in the category Computer Science (Miscellaneous).

From a relative perspective, and based on the normalized impact indicator calculated from World Citations from Scopus Elsevier, it yields a value for the Field-Weighted Citation Impact from the Scopus agency: 1.55, which indicates that, compared to works in the same discipline and in the same year of publication, it ranks as a work cited above average. (source consulted: ESI Nov 13, 2025)

Specifically, and according to different indexing agencies, this work has accumulated citations as of 2026-04-02, the following number of citations:

  • Scopus: 9
[+]

Impact and social visibility

From the perspective of influence or social adoption, and based on metrics associated with mentions and interactions provided by agencies specializing in calculating the so-called "Alternative or Social Metrics," we can highlight as of 2026-04-02:

  • The use, from an academic perspective evidenced by the Altmetric agency indicator referring to aggregations made by the personal bibliographic manager Mendeley, gives us a total of: 1.
  • The use of this contribution in bookmarks, code forks, additions to favorite lists for recurrent reading, as well as general views, indicates that someone is using the publication as a basis for their current work. This may be a notable indicator of future more formal and academic citations. This claim is supported by the result of the "Capture" indicator, which yields a total of: 1 (PlumX).

With a more dissemination-oriented intent and targeting more general audiences, we can observe other more global scores such as:

  • The Total Score from Altmetric: 17.
[+]

Leadership analysis of institutional authors

This work has been carried out with international collaboration, specifically with researchers from: Portugal.

There is a significant leadership presence as some of the institution’s authors appear as the first or last signer, detailed as follows: First Author (MORALES CABALLERO, JOSE FRANCISCO) and Last Author (HERMENEGILDO SALINAS, MANUEL DE).

the author responsible for correspondence tasks has been HERMENEGILDO SALINAS, MANUEL DE.

[+]