Toward an Inductionless Technique for Proving Properties of Logic Programs