Содержат общие сведения о принципах программирования баз знаний с простыми и структурированными объектами на языке логического программирования Пролог.