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
Ungkawa, Uung
Bahasa pemrograman logika turbo prolog
Andi, 1992
Buku Teks
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