Clark, K.L.
Micro prolog: programming in logic
Prentice-Hall, 1984
 Buku Teks SO
Bratko, Ivan
Prolog programming for artificial intelligence
Addison-Wesley, 1986
 Buku Teks SO
Implementations of prolog
edited by, J.A. Campbell
Ellis Horwood Limited, 1984
 Buku Teks SO
Teft, Lee
Programming in turbo prolog: with an introduction to knowledge-based systems
Prentice-Hall, 1989
 Buku Teks SO
Diah Kusumawati
Pemakaian bahasa turbo prolog untuk pembuktian teorema
Universitas Indonesia, 1988
 UI - Skripsi Membership