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 SO
Implementations of prolog
edited by, J.A. Campbell
Ellis Horwood Limited, 1984
 Buku Teks SO
Implementations of prolog
edited by, J.A. Campbell
Ellis Horwood Limited, 1984
 Buku Teks SO
Diah Kusumawati
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Universitas Indonesia, 1988
 UI - Skripsi Membership