Информационные технологии

Математическая модель теории исчисления предикатов положена в основу языка программирования:

Пролог