В Прологе предикат запроса называется:
Одним из наиболее часто используемых встроенных предикатов в Прологе, является предикат:
Правило, определяющее отношение ребенок/2 через отношение отец/2, в Прологе запишется следующим образом:
В Прологе существуют следующие виды термов:
В Прологе интуитивно означает объект:
Отдельный объект, считающийся элементарным в Прологе называется:
Для включения в программу комментариев, в Прологе могут использоваться следующие символы:
Зависимости между объектами множеств, между которыми устанавливается взаимно-однозначное соответствие, в Прологе:
Встроенные предикаты в Прологе - это предикаты:
Какая палитра в разделе Algebra программы Mathematica, содержит несколько шаблонов для ввода функции Solve: