Laboration in prolog