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

• Дата: 2024
• Автори: Shevchenko, R.S., Doroshenko, А.Yu., Yatsenko, O.A.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут програмних систем НАН України 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

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