文件名称：prolog:TypeScript中Prolog的实现
文件大小：22KB
文件格式：ZIP
更新时间：2024-06-06 02:29:44
TypeScript
TypeScript中Prolog的实现。 要求 Node.js（> = 10） 用法 $ npm install ts-prolog -g $ ts-prolog 笔记 仅实现了一部分语言功能。 BFS用于搜索。 例子 rules.pl mult ( z , X , z ) . add ( z , Y , Y ) . add (s( X ), Y , s( Z )) :- add( X , Y , Z ) . mult (s( X ), Y , Z ) :- mult( X , Y , P ), add( P , Y , Z ) . nat ( z ) . nat (s( X )) :- nat( X ) . $ ts-prolog > [ ' rules.pl ' ]. fact added: mult(z, X, z) fact added: add(z, Y, Y) rule
【文件预览】：
prolog-master
----bin()
--------cli.js(47B)
----package.json(957B)
----tslint.json(87B)
----test()
--------main.ts(3KB)
----package-lock.json(54KB)
----src()
--------main.ts(9KB)
--------cli.ts(9KB)
----tsconfig.json(343B)
----.gitignore(18B)
----README.md(1KB)