Gibbins, Peter
Logic with prolog
Clarendon Press, 1988
Buku Teks
Maier, David
Computing with logic: logic programming with prolog
The Benjamin Cumming Pub., 1988
Buku Teks
Short, Kenneth L.
Microprocessors and programmed logic
Prentice-Hall, 1981
Buku Teks
Tuntunan praktis pemograman bahasa Prolog
Buku Teks
Diah Kusumawati
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Universitas Indonesia, 1988
UI - Skripsi (Membership)