Prelog / the Need for Bicycle Parking lots