•    "...продажа оружия враждебным странам, осуществляемая любым американским гражданином, является преступлением":

(9.3)

•    "В государстве Ноуноу... имеются некоторые ракеты". Высказывание преобразуется в два определенных выражения путем устранения квантора существования и введения новой константы М1:

(9.4) (9.5)

•    ".. .все ракеты этого государства были проданы ему полковником Уэстом":

(9.6)

Нам необходимо также знать, что ракеты — оружие:

(9.7)

Кроме того, мы должны знать, что государство, враждебное по отношению к Америке, рассматривается как "недружественное":

(9.8)

•    "... полковником Уэстом, который является американским гражданином":

American(West)                                                                                        (9.9)

•    "В государстве Ноуноу, враждебном по отношению к Америке...":

Enemy(Nono,America)                                                                              (9.10)

Эта база знаний не содержит функциональных символов и поэтому может служить примером класса баз знаний языка Datalog, т.е. примером множества определенных выражений в логике первого порядка без функциональных символов. Ниже будет показано, что при отсутствии функциональных символов логический вывод становится намного проще.