- prolog-like language with compound truth value logic -- https://enkiv2.github.io/mycroft/ * 関連 [#rel] - プログラミング言語 ([[ProgrammingLanguage]])