DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

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

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download

⟦b5976f5d8⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Test, seg_039e6a, seg_03b907, seg_03c061, seg_03c484, seg_03c62b, seg_03c960, seg_04a935, seg_04b3a5

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧

E3 Source Code



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;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=26 rec1=00 rec2=01 rec3=042
        [0x01] rec0=0f rec1=00 rec2=02 rec3=001
    tail 0x217376b0084fd70a39e37 0x42a00088462063c03