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

⟦56b28fa6a⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Br_Test, seg_04a447

Derivation

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

with Br_Kbs;
with Br_Frames;
-- with Br_Rule_Bundle;
with Recency;
with Slot;
with Output_Stream;
with Text_Io;

procedure Br_Test is

    procedure Load_Initial_Working_Memory is
    begin
        null;

        -- Br_Frames.Robots.Add ((Br_Frames.Action => Br_Frames.Taking_Action,
        --                        Br_Frames.Box    => Slot.Value (1)));
        --
        -- for I in reverse 1 .. 30 loop
        --     Br_Frames.Bricks.Add
        --        ((Br_Frames.Name  => Slot.Value
        --                                ("a_red_brick" & Integer'Image (I)),
        --          Br_Frames.Size  => Slot.Value (I),
        --          Br_Frames.Place => Br_Frames.On_Heap_Place));
        -- end loop;
        --
        -- for I in reverse 1 .. 10 loop
        --     Br_Frames.Bricks.Add ((Br_Frames.Name  =>
        --                               Slot.Value ("a_big_red_brick"),
        --                            Br_Frames.Size  => Slot.Value (9 + I),
        --                            Br_Frames.Place => Br_Frames.On_Heap_Place));
        -- end loop;

        --Br_Frames.Bricks.Add ((Br_Frames.Name  => Slot.Value ("A_Blue_Brick"),
        --                       Br_Frames.Size  => Slot.Value (10),
        --                       Br_Frames.Place => Br_Frames.On_Heap_Place));
    end Load_Initial_Working_Memory;


    -- procedure Br_Infere is new Br_Kbs.Kbs.Rule_Base.Infere_With_Conflict_Set
    --                               (Retrieve  => Br_Kbs.Kbs.Retrieve,
    --                                Do_Action => Br_Rule_Bundle.Do_Action);

    --procedure Put_Working_Memory is
    --   new Br_Kbs.Kbs.Fact_Base.Working_Memory.Generic_Put ();

begin
    Load_Initial_Working_Memory;

    Output_Stream.Put ("The fact base is :", Output_Stream.Standard_Output);
    --Put_Working_Memory (Output_Stream.Standard_Output);
    Output_Stream.New_Line (Output_Stream.Standard_Output);
    Output_Stream.New_Line (Output_Stream.Standard_Output);

    -- Br_Infere;

    Output_Stream.Put_Line ("THE FACT BASE IS NOW :",
                            Output_Stream.Standard_Output);
    --Put_Working_Memory (Output_Stream.Standard_Output);
    Output_Stream.New_Line (Output_Stream.Standard_Output);
    Output_Stream.New_Line (Output_Stream.Standard_Output);

    -- Br_Frames.Bidon (1);
    Br_Frames.Put (3);
end Br_Test;

    nblk1=4
    nid=3
    hdr6=6
        [0x00] rec0=1e rec1=00 rec2=01 rec3=074
        [0x01] rec0=17 rec1=00 rec2=04 rec3=010
        [0x02] rec0=0d rec1=00 rec2=02 rec3=000
        [0x03] rec0=09 rec1=00 rec2=04 rec3=000
    tail 0x2174ebb5e866f42cdca05 0x42a00088462063c03
Free Block Chain:
  0x3: 0000  00 00 01 55 80 0e 20 2d 2d 20 42 72 5f 49 6e 66  ┆   U   -- Br_Inf┆