SWI Prolog で非常に基本的なことを行うのに苦労しています。まず、シンボルを値にバインドする関数を作成するにはどうすればよいですか? これが私が試したことです、それが正しいかどうかはわかりません：
bind(Name) :- assert(Name = 'A').
ここで、インタープリターで実行する場合、シンボルを値にバインドしbind(Test).たいと思います。これはそれを行う方法ですか？そうである場合、シンボルの値を照会するにはどうすればよいですか?Test'A'
1710 次