Создан вариант Prolog для разработки приложений

Японские исследователи Асакава (Y. Asakawa), Камацу (H. Komatsu) и ряд других предложили свой вариант системы логического программирования Prolog, предназначенный для разработки приложений. Продукт получил название Zephyr.

Prolog - язык логического программирования, предназначенный, главным образом, для решения задач систем искусственного интеллекта, например, для анализа текстов, написанных на естественном языке. Prolog представляет собой совокупность логических утверждений и правил. Система обозначений Prolog отличается от стандартной логики первого порядка.