Predstavlenie znaniy bylo i ostaetsya odnoy iz osnovnykh problem pri realizatsii sistem iskusstvennogo intellekta. Odnim iz moshchnykh sredstv dlya opisaniya predmetnoy oblasti v vide nabora faktov i pravil yavlyaetsya yazyk logicheskogo programmirovaniya Prolog, osnovannyy na teorii predikatov pervogo poryadka. Deklarativnaya semantika yazyka Prolog pozvolyaet ispol'zovat' ego dlya sozdaniya komp'yuternykh programm v razlichnykh chelovecheskikh oblastyakh: ekspertnye sistemy, sistemy administrirovaniya, sistemy informatsionnoy bezopasnosti, ekonomicheskie informatsionnye sistemy, intellektual'nye sistemy, v tom chisle iskusstvennye neyronnye seti i sistemy nechetkoy logiki i vo mnogikh drugikh. V rabote predstavlen praktikum po logicheskomu programmirovaniyu v srede Visual Prolog versii 5.2 i versii 7.3 dlya nachinayushchikh. Prednaznacheno dlya studentov vysshikh uchebnykh zavedeniy, izuchayushchikh logicheskoe programmirovanie.