list - 新しいリストを定義し、Prolog に追加することでリストにアイテムを再帰的に追加します

Question

指定されたリスト項目に対して何らかの操作を実行しようとしており、新しいリストを宣言して、特定の条件を満たす項目をリストに追加しようとしています。この関数を再帰的に呼び出す必要があります。だから、初めてリストがnullで、そこにアイテムを挿入したい。2 回目では、1 つの要素があり、別の要素を追加すると 2 つの要素になります。3 回目は 2 つの要素があり、さらに 1 つの要素を追加します。

プロローグでリストを宣言し、再帰関数呼び出しに追加して addr 要素を宣言する方法を教えてください。

Answer 1

Prologで用語を宣言する必要はありません。それらを書き留めると存在します。したがって、[]と書くと、それは空のリストになります。あなたが言及するのは、2つのリスト間の関係です。1つのリストはList0と呼ばれ、もう1つのリストはListと呼ばれます。これは追加の要素を持つList0です。だからあなたは次のような関係を持っています

list0_list(List0, List) :-
    ....

これは、Listが必要な要素を持つList0の場合に当てはまります。この関係がいつ成立するかを説明するだけでよく、ルールの本文に必要な条件を記載することでこれを行います。