{rfName}
Te

Indexado en

Citaciones

Altmetrics

Investigadores/as Institucionales

Morales JfAutor o CoautorFerreiro DAutor o CoautorHermenegildo MvAutor (correspondencia)

Compartir

10 de julio de 2023
Publicaciones
>
Capítulos de Libro
No

Teaching Prolog with Active Logic Documents

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

Autores:

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

Afiliaciones

IMDEA Software Institute , Universidad Politécnica de Madrid - Autor o Coautor
University of Évora - Autor o Coautor

Resumen

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.
[+]

Palabras clave

Active logic documentsCiao-prologLiterate programmingLogic programmingPrologProlog playgroundsTeaching prologWeb

Indicios de calidad

Impacto bibliométrico. Análisis de la aportación y canal de difusión

El trabajo ha sido publicado en la revista Syntactic ASP Forgetting with Forks 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 , 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 de las Citas Mundiales de Scopus Elsevier, arroja un valor para la media Ponderada del Impacto Normalizado de la agencia Scopus: 1.55, 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: ESI 13 Nov 2025)

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

  • Scopus: 9
[+]

Impacto y visibilidad social

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 2026-04-02:

  • El uso, desde el ámbito académico evidenciado por el indicador de la agencia Altmetric referido como agregaciones realizadas por el gestor bibliográfico personal Mendeley, nos da un total de: 1.

Con una intencionalidad más de divulgación y orientada a audiencias más generales podemos observar otras puntuaciones más globales como:

  • El Score total de Altmetric: 17.
[+]

Análisis de liderazgo de los autores institucionales

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).

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

[+]