Tuntunan praktis pemograman bahasa Prolog
Buku Teks
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
Implementations of prolog
edited by, J.A. Campbell
Ellis Horwood Limited, 1984
Buku Teks