Пролог предоставляет специальную форму записи, позволяющую более удобно задавать предикаты consult и reconsult в качестве целевых утверждений, особенно в случае, когда вы хотите ввести более чем один файл. Для этого достаточно просто записать совокупность имен файлов (как атомов Пролога) в виде списка и задать этот список в качестве целевого утверждения. Если вы хотите, чтобы содержимое файла было просто добавлено к базе данных (consult) , то имя такого файла записывается в списке в том виде, как оно есть, если же вы хотите, чтобы при этом произошла замена уже имеющихся одинаковых предикатов (reconsult), то перед именем файла ставится знак '-' (минус). Так, например, вопрос
?- [файл1,-файл2,'фред.1',-'билл.2'].
полностью эквивалентен следующему, но более длинному;
?- consult(файл1), reconsult(файл2), consult('фред:1'), reconsult('билл.2').
Списковая форма сводится к удобству записи, она не дает каких-либо дополнительных возможностей по сравнению с использованием предикатов consult и reconsult. Некоторые реализации Пролога могут использовать в списковой форме записи вместо знака '-' какой-нибудь иной знак, но эффект при этом останется прежним.
http://buysell.com.ua Украины - это самый простой, быстрый и наиболее удобный способ продавать, покупать, арендовать, осуществлять поиск услуг и товаров. |
Главная
Каталог файлов
