>>944
「論理プログラミング」で検索！

わからんなら忘れてしまえばいいのではないか？
「初心者」がわからなければならないようなものでもないしな。
ちなみに、オレもそこまでわからん。ｗ