Swi Prolog Учебник
$ cat junk.pl test(ok). $ prolog Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.8.0) Copyright (c) 1990-2009 University of Amsterdam.
Swi Prolog Учебник
SWI-Prolog — это свободная (открытая) реализация языка программирования Prolog, часто. SWI-Prolog — это мощная среда разработки с набором графических инструментов ХРСЕ. Рассмотрены наиболее распространенные среды программирования: PIE, Tubo-Prolog, SWI-Prolog и Visual-Prolog. Большое число примеров и заданий позволяет изу-чить основные методы работы в каждой из этих сред, а также познакомиться с особен-ностями их использования для реализации конкретных проектов.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit for details. For help, use?- help(Topic).
Or?- apropos(Word).?- junk.% junk compiled 0.00 sec, 24 bytes true. Кажется, все отлично работает для меня.
Swi Пролог Учебник
Prolog, решение задач методом поиска, вероятностные методы, основы. Описания среды SWI-Prolog, программы нейросетевого моделирования.
Конечно, я использую атом для имени файла, а не переменной. (KB5 - это имя переменной, а не атом.) Сначала попробуйте 'KB5' и посмотрите, поможет ли это. Затем попробуйте kb5 и посмотрите, поможет ли это. Наконец, попробуйте абсолютный минимальный пример, такой как тот, который я предоставил, и посмотрим, можете ли вы загрузить этот путь. Отредактировано для добавления: $ cp junk.pl JUNK.pl $ prolog Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.8.0) Copyright (c) 1990-2009 University of Amsterdam. SWI-Prolog comes with ABSOLUTELY NO WARRANTY.
Swi Prolog Самоучитель
This is free software, and you are welcome to redistribute it under certain conditions. Please visit for details. For help, use?- help(Topic). Or?- apropos(Word).?- JUNK. ERROR: loadfiles/2: Arguments are not sufficiently instantiated?- 'JUNK'.% JUNK compiled 0.00 sec, 1,656 bytes true.
Похоже, проблема с атомом. Используйте 'KB5', и ваша ошибка, вероятно, исчезнет.
Логическое программирование Учебно-методический комплекс по дисциплинe «Логическое программирование» Со всеми вопросами по дисциплинам обращайтесь к старшему преподавателю каф. ВТ Юлии Вадимовне Новицкой, 7 корпус, ком.