Programmeren in prolog by Schotel