Solar System

/* Facts */
orbits(hd189733a , milkyway).
orbits(sun,milkyway).
orbits(mercury,sun).
orbits(venus,sun).
orbits(mars,sun).
orbits(earth,sun).
orbits(jupiter,sun).
orbits(saturn,sun).
orbits(urenus,sun).
orbits(neptune,sun).
orbits(moon,earth).
orbits(phobos, mars).
orbits(deimos,mars).
orbits(ganymede,jupiter).
orbits(callisto,jupiter).
orbits(io,jupiter).
orbits(europa,jupiter).
orbits(titan,saturn).
orbits(rhea,saturn).
orbits(iapetus,saturn).
orbits(dione,saturn).
orbits(titania,uranus).
orbits(oberon,urenus).
orbits(ariel,urenus).
orbits(umbriel,urenus).
orbits(triton,neptune).
orbits(hd189733b,hd189733a).
galaxy(milkyway).
/* Rules */
star(X) :- galaxy(Y) , orbits( X, Y).
planet( X ) :- orbits( X , sun).
satellite_of( X , Y ) :- orbits( X , Y ) ,  orbits( Y , sun ).
satellite( X ) :- orbits( X , Y ) ,  orbits( Y , sun ).
exoplanet( X ) :- orbits( X , Y ) , star( Y ) , Y\=sun.