30
/ru/
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
April 1, 2024
3675515
335922
2

1 янв 1972 г. - Prolog

Описание:

Язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.

Добавлено на ленту времени:

Дата:

1 янв 1972 г.
Сейчас
~ 52 г назад