Prolog cookbook: fix examples with ok(_) and reject(_)
Prolog cookbook: fix examples with ok(_) and reject(_)

Both ok and reject were changed to require a user but the cookbook wasn't
updated.

Change-Id: I131e2008babb82e976c2a6ba59ea35bebf35bd21

gerrit-review/gerrit,GerritCodeReview/gerrit,gerrit-review/gerrit,WANdisco/gerrit,gerrit-review/gerrit,GerritCodeReview/gerrit,qtproject/qtqa-gerrit,qtproject/qtqa-gerrit,GerritCodeReview/gerrit,GerritCodeReview/gerrit,GerritCodeReview/gerrit,WANdisco/gerrit,WANdisco/gerrit,qtproject/qtqa-gerrit,qtproject/qtqa-gerrit,gerrit-review/gerrit,WANdisco/gerrit,WANdisco/gerrit,gerrit-review/gerrit,qtproject/qtqa-gerrit,GerritCodeReview/gerrit,gerrit-review/gerrit,GerritCodeReview/gerrit,gerrit-review/gerrit,qtproject/qtqa-gerrit,GerritCodeReview/gerrit,WANdisco/gerrit,WANdisco/gerrit,qtproject/qtqa-gerrit