論理プログラミング

論理プログラミング（Logic Programming）とは、数理論理学（記号論理学）を基礎にしたプログラミングパラダイム、または数理論理学のコンピュータプログラミングへの応用である。形式論理の論理式をソースコードの書式に投影することが基本になる。