私は初心者のプロローグコースを受講しています。私たちはswi-prologを使用することになっています、これが私の言うことです
% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,856 bytes
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.10.4)
算術述語add(X、Y、Z)を開発するように求められます。後継のs(X)[= X+1]ファンクターを使用します。この述語は私のマシンで次のエラーで失敗します:
ERROR: toplevel: Undefined procedure: s/1 (DWIM could not correct goal)
誰かが解決策を持っていますか?たぶん、swiplをダウングレードする必要がありますか?
ありがとう!