Prolog 方言 Prova 的文档
我想从 SWI-Prolog 切换到 Prova - 但它似乎比预期更难: 像 succ() 不可用,并且像 Var1+Var2>Var3 这样的操作不起作用(显然它必须是 Var3 才有效)…
我想从 SWI-Prolog 切换到 Prova - 但它似乎比预期更难: 像 succ() 不可用,并且像 Var1+Var2>Var3 这样的操作不起作用(显然它必须是 Var3 才有效)…
接受
或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。