Mantiqiy dasturlash asoslari va Prologga kirish. Bu kitobda Prolog sintaksisi, semantikasi va asosiy tushunchalari qoidalari ko'rsatiladi. Prologda ilg'or texnikalar, amaliy dasturlar va kelajak istiqbollari ham ta'lim beriladi