room(id,roomNum,numBedsAttribID,smokingOrNoAttribID,onFloorAttribID,sizeOfRoomAttribID) :- Room(X1),NumBedsAttribute(X2),FloorAttribute(X3), SmokingAttribute(X4),SizeAttribute(X5),NumBeds(X1,X2), OnFloor(X1,X3),SmokingOrNon(X1,X4),SizeOfRoom(X1,X5), id(X2,numBedsAttribID),id(X5,sizeOfRoomAttribID),id(X1,id), id(X4,smokingOrNoAttribID),id(X3,onFloorAttribID),roomNum(X1,roomNum):: identifier(X1,id),identifier(X2,numBedsAttribID),identifier(X3,onFloorAttribID), identifier(X4,smokingOrNoAttribID),identifier(X5,sizeOfRoomAttribID). numBedsAttribute(id,attrib) :- NumBedsAttribute(X1),id(X1,id),attrib(X1,attrib)::identifier(X1,id). smokingAttribute(id,attrib) :- SmokingAttribute(X1),id(X1,id),attrib(X1,attrib)::identifier(X1,id). onFloorAttribute(id,attrib) :- FloorAttribute(X1),attrib(X1,attrib),id(X1,id)::identifier(X1,id). sizeOfRoomAttribute(id,attrib) :- SizeAttribute(X1),attrib(X1,attrib),id(X1,id)::identifier(X1,id).