g(a,b,2). g(a,c,4). g(a,d,5). g(b,c,3). g(b,d,1). g(c,d,2).