DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download
Index: ┃ B T ┃

⟦8bfa0e27c⟧ TextFile

    Length: 1569 (0x621)
    Types: TextFile
    Names: »B«

Derivation

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦e24fb53b7⟧ 
            └─⟦this⟧

TextFile

with Expert_System;
with Fqa_Frames;
with Fqa_Kbs;
with Output_Stream;
with Text_Io;

use Expert_System;
use Fqa_Kbs;

procedure Test is

    The_Factorial : Integer;

    procedure Put_W_M is new Kbs.Fact_Base.Working_Memory.Generic_Put
                                (Put => Fqa_Frames.Put);

    procedure Get_Integer (F : out Integer) is
        C : String (1 .. 1);
        N : Integer := 0;
    begin  
        loop
            Text_Io.Get (C);
            exit when C (1) = '.';
            N := Integer'Value (C) + N * 10;
        end loop;  
        F := N;
    end Get_Integer;

begin
    Initialize;
    Put_W_M (Output_Stream.Standard_Output);
    Output_Stream.New_Line (Output_Stream.Standard_Output);
    Output_Stream.New_Line (Output_Stream.Standard_Output);
    loop
        Output_Stream.Put ("Entrez le factoriel a calculer : ",
                           Output_Stream.Standard_Output);
        Get_Integer (The_Factorial);
        exit when The_Factorial = 0;
        Add_Query (The_Factorial);
        Infere;
        Output_Stream.New_Line (Output_Stream.Standard_Output);
        Output_Stream.New_Line (Output_Stream.Standard_Output);
        Output_Stream.Put
           ("-------------------- Working memory -------------------- ",
            Output_Stream.Standard_Output);
        Output_Stream.New_Line (Output_Stream.Standard_Output);
        Put_W_M (Output_Stream.Standard_Output);
        Output_Stream.New_Line (Output_Stream.Standard_Output);
        Output_Stream.New_Line (Output_Stream.Standard_Output);
    end loop;
end Test;