I'm playing around with prolog at the moment and I think it's a great problem oriented language. For many problems I want to create a specification about my pr

I'm playing around with prolog at the moment and I think it's a great problem oriented language. For many problems I want to create a specification about my problem space and then reason about it. I feel that prolog is closer to asking a computer for a solution rather than telling it what to do.