Een introductie in logisch programmeren met prolog.