First prolog assignmnet