Quelqu'un a-t-il déjà écrit un système (logiciel ou explication détaillée sur papier avec des exemples simples) qui génère des programmes informatiques? J'entre et il crée un programme qui répertorie les nombres premiers inférieurs à 10. P r i m e ( x ) est simplement défini comme 1 < x ∧ ∄ APr...