Hi! I have more than 15 years of experience in AI programming with Prolog (I know all major Prolog dialects, I am fluent with predicate logic and AI concepts related to programming in Prolog, and my graduate diploma was written entirely in Prolog (exploring possibilities of automated proof of statements expressed in terms of Prolog structures)). Could you please provide me more details on what has to be done? (So I can correct my bid accordingly)
Thank you,
Alex.