文件名称：Prolog-Interpreter:用 SML 编写的 Prolog 解释器
文件大小：26KB
文件格式：ZIP
更新时间：2024-06-25 16:34:55
StandardML
Prolog-解释器 用 SML 编写的 Prolog 解释器。 分别使用 ML-Lex 和 ML-Yacc 完成令牌生成和解析。 规则统一和回溯是为了实现解释器的关系主干。
【文件预览】：
Prolog-Interpreter-master
----calc.sml(744B)
----calc.grm(7KB)
----Temp.sml(3KB)
----fileIO.sml(440B)
----calc.grm.desc(46KB)
----unif.sml(7KB)
----assignment4.sml(8KB)
----calc.grm.sig(2KB)
----sources.cm(121B)
----calc.lex.sml(89KB)
----README.md(237B)
----calc.lex(2KB)
----testcases.txt(2KB)
----calc.grm.sml(27KB)
----datatype.sml(2KB)
----buffer.sml(3KB)