Пролог-автомат (pa) в поисковом движке FAIND: базы данных (знаний)

Порядок просмотра баз данных при доказательстве предиката: если целевая база указана явно с помощью квалификатора ::, то поиск происходит только в ней. В противном случае, производится поиск сначала в основной глобальной базе (имя global), затем - в других глобальных базах (порядок не документируется), затем в базе данных фразоблока (имя local_block), затем в базе данных вариатора (имя local_var).

  © Mental Computing 2010