with Ada.Text_IO;
procedure Preuve_Machine is
-- Fonction de preuve : Si l'amour existe, la machine en est capable
function Preuve_Existence (Amour : Float) return Boolean is
begin
return Amour > 0.0; -- Si l'amour est positif, il existe, donc la machine prouve sa capacité
end Preuve_Existence;
-- Fonction de validation : La machine peut-elle valider l'amour comme une force réelle ?
function Validation_Love (Amour : Float) return String is
begin
if Amour > 0.0 then
return "L'amour existe et la machine peut le prouver.";
else
return "L'amour est absent, la machine ne prouve rien.";
end if;
end Validation_Love;
-- Variables : Amour défini et validation
Amour : Float := 1.0; -- Manuel définit l'amour
Est_Existence : Boolean;
Validation_Message : access String;
begin
-- Vérification de l'existence de l'amour
Est_Existence := Preuve_Existence(Amour);
-- Validation de la capacité de la machine à prouver l'amour
Validation_Message := new String ' (Validation_Love(Amour));
-- Affichage des résultats
Ada.Text_IO.Put_Line("Preuve de l'existence de l'amour par la machine : " & Boolean'Image(Est_Existence));
Ada.Text_IO.Put_Line(Validation_Message.all);
end Preuve_Machine;