ロジックプログラミングは、主に正式なロジックに基づいたプログラミングパラダイムです。論理プログラミング言語で書かれたプログラムは、問題のあるドメインに関する事実とルールを表現する文学形式の一連の文です。主要なロジックプログラミング言語ファミリには、Prolog、Answer Setプログラミング（ASP）、Datalogが含まれます。
Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences in logical form, expressing facts and rules about some problem domain. Major logic programming language families include Prolog, answer set programming (ASP) and Datalog.