Cover Image

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

Full description

Saved in:

Bibliographic Details
Date:	2024
Main Authors:	Shevchenko, R.S., Doroshenko, А.Yu., Yatsenko, O.A.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2024
Subjects:	declarative programming embedding logical programming monad object-oriented language term unification Scala UDC 004.424
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/601
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Representation of monadic effects in the non-monadic form
by: Shevchenko, R.S.
Published: (2024)

TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)

Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)

Toolkit for simulation of heterogeneous GPU-based environments
by: Okonsky, I.V., et al.
Published: (2025)

On performance of the In-Memory Data Grids
by: Rukhlis, K.A., et al.
Published: (2017)

Parallel distributed implementation of parallel processing simulation
by: Doroshenko, A.Yu., et al.
Published: (2025)

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

DS-theory. Scientific aspects and prospects for development
by: Kolesnyk, V.G.
Published: (2018)

The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)

Component of programming. Theory and implementation
by: Lavrischeva, K.M.
Published: (2015)

The description of lists and sets of meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2020)

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

Weak Frobenius monads and Frobenius bimodules
by: Wisbauer, Robert
Published: (2016)

Regular pairings of functors and weak (co)monads
by: Wisbauer, Robert
Published: (2018)

Basics of programming in the context of software engineering
by: Sydorov, М.О.
Published: (2019)

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

Semantics and pragmatics of programming language ASAMPL
by: Sulema, Y.S., et al.
Published: (2020)

Visegrad Fellowship
Published: (2010)

RECOOP Visegrad Scholarship Program
Published: (2011)

RECOOP Visegrad Scholarship Program
Published: (2012)

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

Models of concurrent program running in resource constrained environment
by: Rahozin, D.V.
Published: (2020)

Static analysis of .NET programs using rewriting rules
by: Mamedov, T.A., et al.
Published: (2020)

Людиноподібні діалогові агенти
by: Chmir, Igor Alexeevich
Published: (2014)

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

Jupyter Notebook: a system for interactive scientific computing
by: Yakimchik, A. I.
Published: (2019)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Interface-oriented approach to modelling tools for multi-agent systems
by: Shevchenko, R.S., et al.
Published: (2025)

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

Parallel distributed system for social networks streaming data analysis
by: Doroshenko, А.Yu., et al.
Published: (2017)

Automated development of a parallel distributed system for streaming data processing
by: Titov, D.S., et al.
Published: (2018)

An optimization electronic simulation of multi-target system tasks
by: Dodonov, O. G., et al.
Published: (2016)

Methodological aspects of the energy supply development of regions
by: Dryomin V.P., et al.
Published: (2013)

Information technology of IT-infrastructure management architecture elements
by: Dovgiy, Stanislav O., et al.
Published: (2022)

The conceptual foundations of the energy efficiency enhancement and primary measures for energy saving in Ukrainian
by: Kulyk М.M., et al.
Published: (2007)

To the issue of optimizing cloud computing based on their cost
by: Doroshenko, А.Yu., et al.
Published: (2021)

On Kaluzhnin-Krasner’s embedding of groups
by: Olshanskii, A. Yu.
Published: (2018)

Length functions for semigroup embeddings
by: Davis, Tara Colleen
Published: (2018)

Architecture of software system for hierarchical fuzzy inference
by: Yershov, S.V., et al.
Published: (2018)

Algorithm for automatic loop parallelization for graphics processing units
by: Doroshenko, А.Yu., et al.
Published: (2018)