S. A. . Nigiyan and A. M. . Hambardzumyan, “On Interpreters of Logic Programming Systems”, MPCS, vol. 24, pp. 34–41, Dec. 2021.