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

⟦b62032414⟧ Ada Source

    Length: 7168 (0x1c00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure R_Test, seg_03b8bb, seg_03b916, seg_03c08e, seg_03c4b1, seg_03c658, seg_03c98d, seg_04a964, seg_04b3d2

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 R_Frames;
with R_Kbs;
with R_Rule_Bundle;
with Output_Stream;
with Slot;
with Text_Io;

procedure R_Test is
    use R_Frames;
    use Slot;

    type Action is new Integer range 1 .. 3;

    The_Action : Action;



    procedure Load_Initial_Working_Memory is
        P1, P2, R : Slot.Object;
    begin

        Points.Add (The_Fact      => (X => Value (10),  
                                      Y => Value (20)),
                    Its_Reference => P1);

        P2 := P1;
        P2 := Value ("salut");

        Points.Add (The_Fact      => (X => Value (100),  
                                      Y => Value (150)),
                    Its_Reference => P2);

        Rectangles.Add (The_Fact      => (Top_Left     => P1,  
                                          Bottom_Right => P2),
                        Its_Reference => R);

        Windows.Add ((Bounds => R,  
                      Title  => Value ("fenetre 2")));

        Rectangles.Add (The_Fact      => (Top_Left     => P1,  
                                          Bottom_Right => P1),
                        Its_Reference => R);


        Windows.Add ((Bounds => R,  
                      Title  => Value ("fenetre 1")));





    end Load_Initial_Working_Memory;


    procedure R_Infere is new R_Kbs.Kbs.Rule_Base.Infere
                                 (Do_Action => R_Rule_Bundle.Do_Action);

    use Output_Stream;


begin
    Load_Initial_Working_Memory;
    R_Kbs.Kbs.Fact_Base.Working_Memory.Default_Put
       (Output_Stream.Standard_Output);
    R_Infere;  
    Put_Line ("************************* New Working Memory:", Standard_Output);
    R_Kbs.Kbs.Fact_Base.Working_Memory.Default_Put
       (Output_Stream.Standard_Output);
    R_Infere;
    Put_Line ("************************* New Working Memory:", Standard_Output);
    R_Kbs.Kbs.Fact_Base.Working_Memory.Default_Put
       (Output_Stream.Standard_Output);
end R_Test;

E3 Meta Data

    nblk1=6
    nid=6
    hdr6=6
        [0x00] rec0=24 rec1=00 rec2=01 rec3=006
        [0x01] rec0=23 rec1=00 rec2=03 rec3=01a
        [0x02] rec0=04 rec1=00 rec2=04 rec3=000
        [0x03] rec0=24 rec1=00 rec2=05 rec3=00e
        [0x04] rec0=0b rec1=00 rec2=04 rec3=000
        [0x05] rec0=42 rec1=85 rec2=32 rec3=18b
    tail 0x21738f66685324e922941 0x42a00088462063c03
Free Block Chain:
  0x6: 0000  00 05 03 84 80 13 6f 2e 50 75 74 20 28 22 42 6f  ┆      o.Put ("Bo┆
  0x5: 0000  00 02 03 fc 80 2c 20 20 20 20 20 20 20 20 20 20  ┆     ,          ┆
  0x2: 0000  00 00 00 0b 80 08 4c 69 6e 65 20 28 22 22 08 42  ┆      Line ("" B┆