【論理】Prolog【初心者】

定義節集合から新たに論理式(述語定義)を発見するのが
帰納論理プログラミングであり、一方、我々の日常的な
プログラミングの目標は、課題(仕様)の自然言語表現から、
論理式(述語定義)を発見して、Prologプログラムとして
書くこと。
仮に、コンピュータを自然言語で操作することを目標と
した場合には、Prologの次善の言語としての地位は現在
も揺らいではいない。