CLARA OKTASIA GINTING; HARPIS, M. ARTIFICIAL INTELLIGENCE DENGAN METODE UNIFICATION DAN BACK TRACKING VISUAL PROLOG (STUDI KASUS: PEMILIHAN MAHASISWA TERBAIK AMIK UNIVERSAL MEDAN). JUTISAL-Jurnal Teknik Informatika Universal, [S. l.], v. 3, n. 1, p. 23–28, 2023. Disponível em: https://universal.ac.id/jurnal/index.php/teknikinformatika/article/view/12. Acesso em: 2 apr. 2026.