TY  - THES
AU  - Ruiz Nieto, Miguel Emilio
A3  - Montenegro Montes, Manuel
PY  - 2023
UR  - https://hdl.handle.net/20.500.14352/88433
AB  - El presente trabajo trata sobre la implementación de un lenguaje específco de dominio que permite defnir predicados lógicos dentro de un lenguaje funcional y hacer consultas sobre los mismos, por medio del uso de técnicas de metaprogramación que...
AB  - This paper deals with the implementation of a domain-specific language that allows the defnition of logical predicates within a functional language and making queries on them, through the use of metaprogramming techniques that take advantage of the...
LA  - spa
KW  - Lenguaje específico de dominio
KW  - Metaprogramación
KW  - AST
KW  - Evaluación perezosa
KW  - Traducción
KW  - Unifcación
KW  - Programación lógico-funcional
KW  - Programación declarativa
KW  - Elixir
KW  - Domain specifc language
KW  - Metaprogramming
KW  - Lazy evaluation
KW  - Translation
KW  - Unifcation
KW  - Functional-logic programming
KW  - Declarative programming
TI  - Diseño e implementación de un DSL para programación lógica en Elixir
T2  - Design and implementation of a DSL for logic programming in Elixir
M3  - master thesis
ER  -