{rfName}
Li

License and Use

Icono OpenAccess

Altmetrics

Analysis of institutional authors

Morales, Jose F.Corresponding AuthorCarro, ManuelAuthorHermenegildo, Manuel V.Author

Share

June 9, 2019
Publications
>
Article

Lightweight compilation of (C)LP to JavaScript

Publicated to: THEORY AND PRACTICE OF LOGIC PROGRAMMING. 12 (4-5): 755-773 - 2012-07-01 12(4-5), DOI: 10.1017/S1471068412000336

Authors:

Morales, JF; Haemmerlé, R; Carro, M; Hermenegildo, MV
[+]

Affiliations

IMDEA Software Inst, Madrid, Spain - Author
Tech Univ Madrid UPM, Sch Comp Sci, Madrid, Spain - Author

Abstract

We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applications while being compliant with current industry standards. Targeting JavaScript makes (C) LP programs executable in virtually every modern computing device with no additional software requirements from the point of view of the user. In turn, the use of a very high-level language facilitates the development of high-quality, complex software. The compiler is a back end of the Ciao system and supports most of its features, including its module system and its rich language extension mechanism based on packages. We present an overview of the compilation process and a detailed description of the run-time system, including the support for modular compilation into separate JavaScript code. We demonstrate the maturity of the compiler by testing it with complex code such as a CLP(FD) library written in Prolog with attributed variables. Finally, we validate our proposal by measuring the performance of some LP and CLP(FD) benchmarks running on top of major JavaScript engines.
[+]

Keywords

CiaoImplementation of prologJavascriptLogic programming systemModulesPrologWeb

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

The work has been published in the journal THEORY AND PRACTICE OF LOGIC PROGRAMMING 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, 2012, it was in position , thus managing to position itself as a Q1 (Primer Cuartil), in the category Artificial Intelligence. Notably, the journal is positioned above the 90th percentile.

Independientemente del impacto esperado determinado por el canal de difusión, es importante destacar el impacto real observado de la propia aportación.

Según las diferentes agencias de indexación, el número de citas acumuladas por esta publicación hasta la fecha 2026-04-24:

  • WoS: 2
  • Scopus: 6
[+]

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-24:

  • 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: 13.
  • 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: 13 (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: 3.
  • The number of mentions on the social network X (formerly Twitter): 3 (Altmetric).

It is essential to present evidence supporting full alignment with institutional principles and guidelines on Open Science and the Conservation and Dissemination of Intellectual Heritage. A clear example of this is:

  • The work has been submitted to a journal whose editorial policy allows open Open Access publication.
  • Assignment of a Handle/URN as an identifier within the deposit in the Institutional Repository: https://oa.upm.es/14834/

As a result of the publication of the work in the institutional repository, statistical usage data has been obtained that reflects its impact. In terms of dissemination, we can state that, as of

  • Views: 398
  • Downloads: 464
[+]

Leadership analysis of institutional authors

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 MORALES CABALLERO, JOSE FRANCISCO.

[+]

Awards linked to the item

The research leading to these results has received funding from the Madrid Regional Government under CM project P2009/TIC/1465 (PROMETIDOS), and from the Spanish Ministry of Economy and Competitiveness under project TIN-2008-05624 DOVES. The research by Remy Haemmerle has also been supported by PICD, the Programme for Attracting Talent / young PHDs of the Montegancedo Campus of International Excellence.
[+]