Могут ли факты внутренней базы данных Турбо Пролога содержать свободные переменные?
Можно ли разместить во внутренней базе данных Турбо Пролога правила?
В случае наличия в программе раздела внутренней цели Турбо Пролог находит:
Емкость внутренней базы данных ограничена сверху:
Для добавления факта в начало внутренней базы данных служит предикат:
Нельзя использовать для добавления факта в конец внутренней базы данных предикат:
Может ли раздел описания предикатов внутренней базы данных быть безымянным?
Может ли быть в программе несколько безымянных разделов описаний предикатов внутренней базы данных?
Предикат retractall служит для удаления из внутренней базы данных:
Предикат retract служит для удаления из внутренней базы данных: