problem-set/puzzles/miscell/barber.desc created : 07/05/88 revised : 07/05/88 Natural Language Description: The Barber Puzzle There is a barbers' club that obeys the following three conditions: (1) If any member has shaved any other member -- whether himself or another -- then all members have shaved him, though not necess- arily at the same time. (2) Four of the members are named Guido, Lorenzo, Petrucio, and Cesare. (3) Guido has shaved Cesare. Has Petrucio shaved Lorenzo or not? Versions: barber.ver1.in- Non-procedural representation. created by : ?. verified for ITP : 07/05/88 translated for OTTER by : K.R. verified for OTTER : 07/05/88