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
Published in:	PROBLEMS IN PROGRAMMING
Date:	2024
Issue:	1
Pages:	3-11
ISSN:	1727-4907
Author Affiliations:	R.S. Shevchenko — Institute of Software Systems NAS of Ukraine А.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine O.A. Yatsenko — Institute of Software Systems NAS of Ukraine
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)

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

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

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)

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

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

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

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

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)

RECOOP Visegrad Scholarship Program
Published: (2012)

Visegrad Fellowship
Published: (2010)

RECOOP Visegrad Scholarship Program
Published: (2011)

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

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

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

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)

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)

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

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

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

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

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

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

Semantic properties of five-valued logics
by: Nikitchenko, M.S., et al.
Published: (2018)

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

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

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)

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