First three problems in SWI-Prolog