Robinson, pb delogique

Bonjour,
bon voil, je suis un debutant dans le domaine de programmation, comme excercice je suis designé de programmer un petit programme qui execute les regles de Robinson (regles de logique mathematique). si quelqu'un a une petite idée, merci de m'aider.