Clara Oktasia Ginting; Harpis, M. ARTIFICIAL INTELLIGENCE DENGAN METODE UNIFICATION DAN BACK TRACKING VISUAL PROLOG (STUDI KASUS: PEMILIHAN MAHASISWA TERBAIK AMIK UNIVERSAL MEDAN). JUTISAL 2023, 3, 23-28.