Prolog 的意思是「使用邏輯去編寫程序」（programming in logic）。Prolog 是一種邏輯程序語言，用這種語言編寫的程序包含事實和規則，這些事實和規則組成一個知識數據庫。使用者執行這些程序的方法是在 Prolog 解釋程序中提交查詢，然後使用者就可以得到根據那些事實和規則求出的答案。
Prolog 被廣泛用於人工智能（AI）方面。
我們可以使用一個文本編輯器（例如「記事本」或 MS-DOS 編輯器）去編寫 Prolog 程序。
We can write a Prolog program in a text editor (such as Notepad or MS-DOS editor).