Зображення обкладинки

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

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2024
Випуск: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, монади, номади, булеве програмування, номінатема
Автори: Shevchenko, R.S., Doroshenko, А.Yu., Yatsenko, O.A.
Формат: Стаття
Мова:Українська
Опубліковано: PROBLEMS IN PROGRAMMING 2024
Теми:
declarative programming
embedding
logical programming
monad
object-oriented language
term
unification
Scala
UDC 004.424
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/601
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming

Схожі ресурси

Схожі ресурси