First work in prolog in logic programming class