我已经进行了彻底的搜索,但仍然是徒劳的。
参考:
沃伦抽象机(维基百科)。
问题:
有没有这样的实现(开源)?
如果不是,我倾向于接受一个解决方案的答案,该解决方案包含一个用其他语言编写的好解决方案(要链接的 Dll 和/或 obj 文件,我知道Prolog.NET:请不要建议它)。
我已经进行了彻底的搜索,但仍然是徒劳的。
参考:
沃伦抽象机(维基百科)。
问题:
有没有这样的实现(开源)?
如果不是,我倾向于接受一个解决方案的答案,该解决方案包含一个用其他语言编写的好解决方案(要链接的 Dll 和/或 obj 文件,我知道Prolog.NET:请不要建议它)。
我的毕业作品(1987 年)是为 Prolog 定义宏扩展并测试它可能带来的好处。我的目标是 WAM。我有 DEC-10 汇编语言的 WAM 源代码,但不幸的是我没有 DEC-10(既不是物理的也不是模拟的),所以我不得不实现一个从 WAM 语言到 TurboPascal v3 的编译器作为辅助工作。据我记得,我的实现并不完整,但足以完成我必须做的事情。如果在发布此问题将近五年后,您发现此贡献(如此之小,如此晚)有用,我会感到惊讶;但是,如果你这样做了,只需发布一个答案,我很乐意将我的源代码发送给你。我写了它,我很乐意将我的权利捐赠给公共领域。