{rfName}
Te

Indexed in

License/Data Use Agreement

Altmetrics

Analysis of institutional authors

Morales JfAuthorFerreiro DAuthorHermenegildo MvCorresponding Author
Share
Publicaciones
>
Chapter

Teaching Prolog with Active Logic Documents

Publicated to:Lecture Notes In Computer Science. 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

El trabajo ha sido publicado en la revista Lecture Notes In Computer Science debido a la progresión y el buen impacto que ha alcanzado en los últimos años, según la agencia Scopus (SJR), se ha convertido en una referencia en su campo. En el año de publicación del trabajo, 2023, se encontraba en la posición 99/344, consiguiendo con ello situarse como revista Q2 (Segundo Cuartil), en la categoría Computer Science (Miscellaneous).

Desde una perspectiva relativa, y atendiendo al indicador del impacto normalizado calculado a partir del Field Citation Ratio (FCR) de la fuente Dimensions, arroja un valor de: 5.94, lo que indica que, de manera comparada con trabajos en la misma disciplina y en el mismo año de publicación, lo ubica como trabajo citado por encima de la media. (fuente consultada: Dimensions 2025-01-15)

De manera concreta y atendiendo a las diferentes agencias de indexación, el trabajo ha acumulado, hasta la fecha 2025-01-15, el siguiente número de citas:

  • Scopus: 9
  • OpenCitations: 7
Impact and social visibility

Desde la dimensión de Influencia o adopción social, y tomando como base las métricas asociadas a las menciones e interacciones proporcionadas por agencias especializadas en el cálculo de las denominadas “Métricas Alternativas o Sociales”, podemos destacar a fecha 2025-01-15:

  • La utilización de esta aportación en marcadores, bifurcaciones de código, añadidos a listas de favoritos para una lectura recurrente, así como visualizaciones generales, indica que alguien está usando la publicación como base de su trabajo actual. Esto puede ser un indicador destacado de futuras citas más formales y académicas. Tal afirmación es avalada por el resultado del indicador “Capture” que arroja un total de: 2 proporcionado por PlumX.
Leadership analysis of institutional authors

Este trabajo se ha realizado con colaboración internacional, concretamente con investigadores de: Portugal.

Existe un liderazgo significativo ya que algunos de los autores pertenecientes a la institución aparecen como primer o último firmante, se puede apreciar en el detalle: Primer Autor (MORALES CABALLERO, JOSE FRANCISCO) y Último Autor (HERMENEGILDO SALINAS, MANUEL DE).

Igualmente, el autor responsable de establecer las labores de correspondencia ha sido HERMENEGILDO SALINAS, MANUEL DE.