Working on that damn Prolog problem.