Computational thinking for beginners: A successful experience using Prolog