I'm probably going to give it another try eventually, but I sold it - I preferred learning logic programming ideas through Prolog itself, rather than Scheme / K

I'm probably going to give it another try eventually, but I sold it - I preferred learning logic programming ideas through Prolog itself, rather than Scheme / KANREN. I've heard good stuff about the Bratko book, too - there's a new edition being published in a few months, I'm planning on checking it out then.