Perangkat lunak datalog : acuan teknis pelengkap tesis magister - BISYRON Wahyudi (Program Magister Informatika PPS ITB, 2001)