Having more than 15 years of experience in Prolog and LISP programming I can speak both languages. I have a graduate diploma in Math Logic (my thesis was “Automated proof of theorems” and it was completely in Prolog). I have good understanding of Math Logic, Logic of Predicates and basic AI concepts, related to Prolog and LISP programming. I am familiar with all major dialects of Prolog and LISP.