述語「assert」を使用して新しい述語を生成するためのコードPrologが必要な問題がありますが、述語の結果を使用したいと思います。ここにリストの要素の数を数える述語があります。新しい述語を作成する必要があります。これにより、ナレッジベースの述語「assert」を使用して新しい述語が追加され、述語「creat_nbStation」が呼び出されます。例として2つの「assert」と「compte」を使用します。私はcreat_nbStation(L)を持っており、LはListeであり、assert述語を使用して新しい述語nb_Station(L、25)をナレッジベースに追加します。
お手伝いありがとう。これはリストの要素数を数えるための私の述語であり、完全に機能します
compte([],0).
compte([_|R],N) :- compte(R,N1), N is N1+1, N>0.