Я запускаю gprolog версии 1.4.2 на машине Fedora 17 Linux.
Я написал небольшую программу на прологе, которая работает нормально. Я определил в нем несколько предикатов, которые хочу использовать в других пролог-программах. Поэтому я решил поместить их в отдельный файл и использовать директиву include
(определенную в разделе 7.1.8 руководства GNU Prolog версии 1.4.2). Однако это не сработало. gprolog
сказал, что эти предикаты (которые были во включенном файле) не определены.
Итак, в командной строке gprolog я набираю:
| ?- include('tools.pro').
И я получаю:
uncaught exception: error(existence_error(procedure,include/1),top_level/0
Таким образом, он явно не признает директиву. Я искал все и не могу найти причину, почему это должно произойти. Есть мысли по этому поводу?