Distance learning course about automatic inference systems presented using Prolog logic programming language.