Perancangan simulasi routing dinamis dengan prolog
Fakultas Teknik Universitas Indonesia, 1995
 UI - Tugas Akhir
Teft, Lee
Programming in turbo prolog: with an introduction to knowledge-based systems
Prentice-Hall, 1989
 Buku Teks SO
Fariz I. Rahmansyah
Pengembangan prototipe workflow system for letter publishing, routing and monitoring system di Rektorat Universitas Indonesia
Fakultas Ilmu Komputer Universitas Indonesia, 2004
 UI - Skripsi Membership
Gibbins, Peter
Logic with prolog
Clarendon Press, 1988
 Buku Teks SO
Clocksin, W.F.
Programming in prolog
Springer-Verlag, 1987
 Buku Teks SO