Voir la notice de l'article provenant de la source Math-Net.Ru
[1] D. Uotermen, Rukovodstvo po ekspertnym sistemam, Mir, M., 1989
[2] Logicheskoe programmirovanie, Mir, M., 1988 | MR
[3] L. Sterling, E. Shapiro, Iskusstvo programmirovaniya na yazyke Prolog, Mir, M., 1990
[4] D. Marselus, Programmirovanie ekspertnykh sistem na Turbo Prologe, Finansy i statistika, M., 1994
[5] Ch. Chen, R. Li., Matematicheskaya logika i avtomaticheskoe dokazatelstvo teorem, eds. S. Yu. Maslov, Nauka, M., 1983 | MR | Zbl
[6] I. Bratko, Programmirovanie na yazyke Prolog dlya iskusstvennogo intellekta, Mir, M., 1990
[7] Teiz A., Gribomon P., Lui Zh. i dr., Logicheskii podkhod k iskusstvennomu intellektu: ot klassicheskoi logiki k logicheskomu programmirovaniyu, Mir, M., 1990 | MR