/* un peu d'astronomie */

etoile(vega).
etoile(soleil).

astre(lune).
astre(jupiter).
astre(terre).
astre(mercure).
astre(venus).
astre(mars).
astre(saturne).
astre(uranus).
astre(neptune).
astre(pluton).
astre(deimos).
astre(phobos).
astre(cérès).
astre(ganymède).
astre(callisto).
astre(io).
astre(europe).
astre(titan).
astre(encelade).
astre(dioné).
astre(mimas).
astre(téthys).
astre(japet).
astre(rhéa).
astre(hypérion).
astre(titania).
astre(obéron).
astre(umbriel).
astre(ariel).
astre(miranda).
astre(triton).

satellite(lune,terre).
satellite(deimos,mars).
satellite(phobos,mars).
satellite(ganymède,jupiter).
satellite(callisto,jupiter).
satellite(io,jupiter).
satellite(europe,jupiter).
satellite(titan,saturne).
satellite(encelade,saturne).
satellite(dioné,saturne).
satellite(mimas,saturne).
satellite(téthys,saturne).
satellite(japet,saturne).
satellite(rhéa,saturne).
satellite(hypérion,saturne).
satellite(titania,uranus).
satellite(obéron,uranus).
satellite(umbriel,uranus).
satellite(ariel,uranus).
satellite(miranda,uranus).
satellite(triton,neptune).
satellite(mercure,soleil).
satellite(venus,soleil).
satellite(terre,soleil).
satellite(mars,soleil).
satellite(ceres,soleil).
satellite(jupiter,soleil).
satellite(saturne,soleil).
satellite(uranus,soleil).
satellite(neptune,soleil).
satellite(pluton,soleil).

