Andrey Andoko
Tuntunan praktis pemrograman bahasa Prolog: menggunakan program-program pada turbo prolog 2.0
Elex Media Komputindo, 1989
Buku Teks
Implementations of prolog
edited by, J.A. Campbell
Ellis Horwood Limited, 1984
Buku Teks
Clocksin, W.F.
Programming in prolog
Springer-Verlag, 1987
Buku Teks
Tuntunan praktis pemograman bahasa Prolog
Buku Teks
Diah Kusumawati
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Universitas Indonesia, 1988
UI - Skripsi (Membership)