PProlog: A Prolog for Plan 9
9 months ago
- #Plan9
- #Programming
- #Prolog
- PProlog 是一个用 C 语言为 Plan 9（特别是 9front）编写的新 Prolog 实现。
- 开发始于 2020 年 12 月，原因是作者需要在 9front 上使用 Prolog 系统。
- 该实现是实验性的，可能存在非最优代码。
- 目前开发已暂停，系统在尝试添加模块失败后处于损坏状态。
- 功能特性包括：基于沃伦抽象机（WAM）的基础系统、通过 mp(2) 实现的高精度算术运算、对定句语法（DCGs）的基本支持、列表、将字符串作为字符原子列表处理、基本控制谓词以及完整的 Unicode 支持。
- 该系统可运行，但缺少完整 Prolog 系统应有的许多内置谓词。
- 截至 2021 年 1 月 13 日，内置谓词包括 is/2、halt/0、consult/1、write/1、read/1、call/n、fail/0、>/2、==/2、atom/1、integer/1、float/1、var/1、compound/1 和 term_variables/2。
- 标准库中还实现了额外谓词，例如 =/2、\=/2、reverse/2、samelength/2、append/3、member/2、select/3、length/2、nl/0、phrase/2、\+/2、false/0、true/0、repeat/0、once/1、,/2、;/2、->/2 和 =\=/2。