Prolog — что это?

Язык программирования: Prolog Характеристика 1: Логические Характеристика 2: Характеристика 3: Полнофункциональные языки (по парадигмам) Пояснения Остались вопросы по Prolog? Задавайте в комментариях!