Logicheskoe programmirowanie w srede Visual Prolog

Predstawlenie znanij bylo i ostaetsq odnoj iz osnownyh problem pri realizacii sistem iskusstwennogo intellekta. Odnim iz moschnyh sredstw dlq opisaniq predmetnoj oblasti w wide nabora faktow i prawil qwlqetsq qzyk logicheskogo programmirowaniq Prolog, osnowannyj na teorii predikatow perwogo porqdka. Deklaratiwnaq semantika qzyka Prolog pozwolqet ispol'zowat' ego dlq sozdaniq komp'üternyh programm w razlichnyh chelowecheskih oblastqh: äxpertnye sistemy, sistemy administrirowaniq, sistemy informacionnoj bezopasnosti, äkonomicheskie informacionnye sistemy, intellektual'nye sistemy, w tom chisle iskusstwennye nejronnye seti i sistemy nechetkoj logiki i wo mnogih drugih. V rabote predstawlen praktikum po logicheskomu programmirowaniü w srede Visual Prolog wersii 5.2 i wersii 7.3 dlq nachinaüschih. Prednaznacheno dlq studentow wysshih uchebnyh zawedenij, izuchaüschih logicheskoe programmirowanie.