Buchumschlag

Embedding a family of logic languages with custom monadic unification in Scala

The paper proposes a framework for embedding logic programming and constraint programming methods in Scala by building a logical object-oriented language around the unification of typed logic based on monads. Two types of API are considered — high-level for language embeddings and low-level for orga...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2024
Hauptverfasser:	Shevchenko, R.S., Doroshenko, А.Yu., Yatsenko, O.A.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2024
Schlagworte:	declarative programming embedding logical programming monad object-oriented language term unification Scala UDC 004.424
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/601
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Representation of monadic effects in the non-monadic form
von: Shevchenko, R.S.
Veröffentlicht: (2024)

TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019)

Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018)

Toolkit for simulation of heterogeneous GPU-based environments
von: Okonsky, I.V., et al.
Veröffentlicht: (2025)

On performance of the In-Memory Data Grids
von: Rukhlis, K.A., et al.
Veröffentlicht: (2017)

Parallel distributed implementation of parallel processing simulation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Usage of modelling tools for determining optimal parameters of programme execution on video graphics accelerators
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

DS-theory. Scientific aspects and prospects for development
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

The translator of Petri-object model visual programming language
von: Dyfuchyn, А.Yu.
Veröffentlicht: (2022)

Component of programming. Theory and implementation
von: Lavrischeva, K.M.
Veröffentlicht: (2015)

Weak Frobenius monads and Frobenius bimodules
von: Wisbauer, Robert
Veröffentlicht: (2016)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

The description of lists and sets of meta-language of normal forms of knowledge
von: Kurgaev, A.F.
Veröffentlicht: (2020)

Regular pairings of functors and weak (co)monads
von: Wisbauer, Robert
Veröffentlicht: (2018)

Basics of programming in the context of software engineering
von: Sydorov, М.О.
Veröffentlicht: (2019)

Розпаралелювання програм на фортрані з використанням техніки переписувальних правил
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Semantics and pragmatics of programming language ASAMPL
von: Sulema, Y.S., et al.
Veröffentlicht: (2020)

Visegrad Fellowship
Veröffentlicht: (2010)

RECOOP Visegrad Scholarship Program
Veröffentlicht: (2011)

RECOOP Visegrad Scholarship Program
Veröffentlicht: (2012)

Models of concurrent program running in resource constrained environment
von: Rahozin, D.V.
Veröffentlicht: (2020)

Distributional semantic modeling: a revised technique to train term/word vector space models applying the ontology-related approach
von: Palagin, O.V., et al.
Veröffentlicht: (2020)

Static analysis of .NET programs using rewriting rules
von: Mamedov, T.A., et al.
Veröffentlicht: (2020)

Людиноподібні діалогові агенти
von: Chmir, Igor Alexeevich
Veröffentlicht: (2014)

Jupyter Notebook: a system for interactive scientific computing
von: Yakimchik, A. I.
Veröffentlicht: (2019)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Interface-oriented approach to modelling tools for multi-agent systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

An optimization electronic simulation of multi-target system tasks
von: Dodonov, O. G., et al.
Veröffentlicht: (2016)

Automated development of a parallel distributed system for streaming data processing
von: Titov, D.S., et al.
Veröffentlicht: (2018)

Parallel distributed system for social networks streaming data analysis
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Information technology of IT-infrastructure management architecture elements
von: Dovgiy, Stanislav O., et al.
Veröffentlicht: (2022)

Architecture of software system for hierarchical fuzzy inference
von: Yershov, S.V., et al.
Veröffentlicht: (2018)

To the issue of optimizing cloud computing based on their cost
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2021)

Algorithm for automatic loop parallelization for graphics processing units
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

On Kaluzhnin-Krasner’s embedding of groups
von: Olshanskii, A. Yu.
Veröffentlicht: (2018)

Length functions for semigroup embeddings
von: Davis, Tara Colleen
Veröffentlicht: (2018)

Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)

The concept of intellectualized creation of service-oriented technologies of software development in the semantic web environment
von: Morentsov, Y.I.
Veröffentlicht: (2018)