Andrey Andoko
Tuntunan praktis pemrograman bahasa Prolog: menggunakan program-program pada turbo prolog 2.0
Elex Media Komputindo, 1989
 Buku Teks SO
Clocksin, W.F.
Programming in prolog
Springer-Verlag, 1987
 Buku Teks
Implementations of prolog
edited by, J.A. Campbell
Ellis Horwood Limited, 1984
 Buku Teks
Diah Kusumawati
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Universitas Indonesia, 1988
 UI - Skripsi Membership
Ario Santoso
Implementasi algoritma principal type dan algoritma type inhabitant dari type theory TA-Lambda menggunakan definite clause grammar daalam prolog
Fakultas Ilmu Komputer Universitas Indonesia, 2008
 UI - Skripsi Open