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
Veröffentlicht in:PROBLEMS IN PROGRAMMING
Datum:2024
Heft:1
Сторінки:3-11
ISSN:1727-4907
Автори та афіліації:
  • 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
Ключові слова:уніфікація, мови програмування, програмоване, програмування, scala, мова програмування r, монади, номади, булеве програмування, номінатема
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
Завантажити файл: Pdf

Institution

Problems in programming

Online

https://pp.isofts.kiev.ua/index.php/ojs1/article/view/601

Ähnliche Einträge