Diah Kusumawati
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Universitas Indonesia, 1988
 UI - Skripsi Membership
Uung Ungkawa
Bahasa pemrograman logika turbo prolog
Andi, 1992
 Buku Teks SO
Ungkawa, Uung
Bahasa pemrograman logika turbo prolog
Andi, 1992
 Buku Teks SO
Clocksin, W.F.
Programming in prolog
Springer-Verlag, 1987
 Buku Teks SO
Implementations of prolog
edited by, J.A. Campbell
Ellis Horwood Limited, 1984
 Buku Teks SO