Полный англо-русский словарь
Представление знаний логическими выражениями; представление знаний в виде программ на языке ПРОЛОГ