テクノロジ系 / 基礎理論
論理型言語
論理型言語は、事実と規則を記述し、それに基づく推論で問題を解く言語です。
もう少し詳しく
「これは事実」「この条件ならこう」といった事実と規則を記述しておき、それらをもとにコンピュータが論理的に推論して答えを導く言語です。手順を細かく書くのではなく、知識を記述する点が特徴です。手続き型や関数型と対比される、プログラミングの考え方の一つです。
試験での見方
例：事実と規則を記述し、推論で答えを導くのが論理型言語です。
テクノロジ系 / 基礎理論
論理型言語は、事実と規則を記述し、それに基づく推論で問題を解く言語です。
「これは事実」「この条件ならこう」といった事実と規則を記述しておき、それらをもとにコンピュータが論理的に推論して答えを導く言語です。手順を細かく書くのではなく、知識を記述する点が特徴です。手続き型や関数型と対比される、プログラミングの考え方の一つです。
例：事実と規則を記述し、推論で答えを導くのが論理型言語です。
事実と規則を記述し推論で解く点が核心です。手続き型・関数型との考え方の違いが問われます。