/* Fullerenes (C60) Kazunori Ueda, 2005-11-06 */ /* icosahedron */ dome(L0,L1,L2,L3,L4,L5,L6,L7,L8,L9) :- p(T0,T1,T2,T3,T4), p(L0,L1,H0,T0,H4), p(L2,L3,H1,T1,H0), p(L4,L5,H2,T2,H1), p(L6,L7,H3,T3,H2), p(L8,L9,H4,T4,H3). dome(E0,E1,E2,E3,E4,E5,E6,E7,E8,E9), /* top half */ dome(E0,E9,E8,E7,E6,E5,E4,E3,E2,E1). /* bottom half */ /* icosahedron -> fullerene */ p(L0,L1,L2,L3,L4) :- X=c(L0,c(L1,c(L2,c(L3,c(L4,X))))).