My recommendation would be to learn the real thing, not an almost, sort-of Prolog that's actually a LISP dialect in disguise.