Пролог (язык программирования)

Пролог (язык программирования)

Jesse Russell Ronald Cohn

     1

бумажная книга



ISBN: 978-5-5128-9474-3

High Quality Content by WIKIPEDIA articles! Пролог (фр. Programmation en Logique) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.