The very basics of Prolog.