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

• 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
• Назва журналу: 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...