Prolog driven, device <= cable(s) => devide connection deduction :-)