Pemakaian bahasa turbo prolog untuk pembuktian teorema (Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988)