Некто_имеет_ребенка родитель( _ _ )



        некто_имеет_ребенка :- родитель( _, _ ).

Это предложение эквивалентно следующему:



- Начало - - Назад - - Вперед -