ocaml-prolog:娱乐语言学的非确定性 Prolog 实现

OCaml-序言 OCaml 中一个简单的 Prolog 解释器，最初由 Karol Stosiek 和 Szymon Fogiel 编写； 由 Martin Keegan 更新。 源自原版： : 主要变化： 删除浮点数据类型/算术 排除保守的语法，支持更多的糖，更少的样板 嬉戏的用法 该工具可选地提供评估结果的非确定性排序。 这样做的动机是生成满足语法的不同字符串，而不是所有字符串看起来几乎相同。 以下是从托尔金的昆雅语中生成似是而非的单词的小尝试的一些输出，基于对维基百科关于其语音约束的声明的三分钟研究： 北区 海斯卡 托杜德尔 托马斯 狼蛛 文化人 帕拉特 许可 此代码根据 GNU GPL v3 的条款分发 （参见声明： : ）