prolog:TypeScript中Prolog的实现

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