Lenguajes de programación lógica

URI permanente para esta colección:

Artículos en la categoría Lenguajes de programación lógica publicados en las Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022).
Notificar un error en esta colección

Examinar

Envíos recientes

Mostrando 1 - 3 de 3
  • Resumen
    Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
    Arias, Joaquín; Carro, Manuel; Gupta, Gopal. Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022), 2022-09-05.
    Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanations and justifications. s(CASP) is one of these systems and has been already used to write reasoning systems in several fields. It provides enhanced expressiveness w.r.t. other ASP systems due to its ability to use constraints, data structures, and unbound variables natively. However, the performance of existing s(CASP) implementations is not on par with other ASP systems: model consistency is checked once models have been generated, in keeping with the generate-and-test paradigm. In this work, we present a variation of the top-down evaluation strategy, termed Dynamic Consistency Checking, which interleaves model generation and consistency checking. This makes it possible to determine when a literal is not compatible with the denials associated to the global constraints in the program, prune the current execution branch, and choose a different alternative. This strategy is specially (but not exclusively) relevant in problems with a high combinatorial component. We have experimentally observed speedups of up to 90+ANc w.r.t. the standard versions of s(CASP). The full paper has been presented at the 24th International Symposium Practical Aspects of Declarative Languages (PADL 2022), Philadelphia, PA, USA, January 17+IBM-18, 2022 +AFs-1+AF0.
  • Resumen
    Planning for an Efficient Implementation of Hypothetical Bousi~Prolog
    Julián-Iranzo, Pascual; Saenz-Perez, Fernando. Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022), 2022-09-05.
    This paper explores the integration of hypothetical reasoning into an efficient implementation of the fuzzy logic language Bousi+AH4-Prolog. To this end, we first analyse what would be expected from a logic inference system, equipped with what is called embedded implication, to model solving goals with respect to assumptions. We start with a propositional system and incrementally build more complex systems and implementations to satisfy the requirements imposed by a system like Bousi+AH4-Prolog. Finally, we propose an inference system, operational semantics, and the translation function to generate efficient Prolog programs from Bousi+AH4-Prolog programs. This paper has been presented at ICLP'21 and published in TPLP 21 (5), pp. 680-697. DOI: https://doi.org/10.1017/S1471068421000405
  • Artículo
    Web development with Tau Prolog
    Riaza Valverde, José Antonio. Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022), 2022-09-05.
    Tau Prolog is a client-side Prolog interpreter fully implemented in JavaScript, which aims at implementing ISO Prolog Standard. Tau Prolog has been developed to be used with either Node.js or a browser seamlessly, and therefore, it has been developed following a non-blocking, callback-based approach to avoid blocking web browsers. Taking the best from JavaScript and Prolog, Tau Prolog allows the programmer to handle browser events and manipulate the Document Object Model (DOM) of a web using Prolog predicates. In this paper we describe the main packages of Tau Prolog for interacting with the Web, and we present its programming environment.