It is answer set programming,CP net project.
2 freelancers are bidding on average $60 for this job
Ready to do this job. So far I have only one closed projects. Maybe your project will be the second? From the Prolog, of course, familiar. But Prolog is not used, in my opinion. This work only on the theory of logic.