Некто_имеет_ребенка родитель( _ _ )
некто_имеет_ребенка :- родитель( _, _ ).
Это предложение эквивалентно следующему:
Программирование на языке Пролог для искусственного интеллекта
| 
|
некто_имеет_ребенка :- родитель( _, _ ).
|
|
|
Это предложение эквивалентно следующему: