%Facts %----- % part(Number:integer, Shape:any, Weight:any) % functor: circle(Diameter) % rectangle(Base, Height) part(22, circle(11), actualkg(34)). part(121, rectangle(10, 20), unitkg(2.1)).