Less than 1 week –
Less than 10 hrs/week –
I am new to prolog, and I use SICStus prolog on SATCHMO theorem prover project ( very small code) I would like to amend it a bit. This SATCHMO is proving by doing some unification, and I would like to change its behaviour a bit by changing the unification into another matching algorithm. I would like to contact a private tutor on Skype to explain the code. Or if he is in Manchester, UK, I would prefer to meet him.