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

• 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
• Journal Title: 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...