Please read the files attached for a clear explanation of the requirements. This project is due Feb 16. Only bid if you read and are 100% sure you can deliver!
This would be easy in Prolog but I'm having errors trying to install Prover9 in Linux... 10 year old program? Let me know if you have some installation guide other than extracting and running 'make all'
9 freelanceria on tarjonnut keskimäärin 165 $ tähän työhön
Hi, Can you share more details about your project? I have done similar project and understood the project outline. Please give me a chance. A trial will convince you. Looking forward to work with you.