This repo contains prolog exercises from my "Knowledge Base Systems" lecture