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 - metrics - download
Index: B T

⟦547f22e90⟧ TextFile

    Length: 1953 (0x7a1)
    Types: TextFile
    Names: »B«

Derivation

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

TextFile

with R_Frames;
with R_Kbs;
with R_Rule_Bundle;
with Output_Stream;
with Slot;
with Text_Io;
with Constrained_Get;

procedure R_Test is
    use R_Frames;
    use Slot;

    type Action is new Integer range 1 .. 3;

    The_Action : Action;


    procedure Get is new Constrained_Get (Integer);
    procedure Get is new Constrained_Get (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 1")));

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

    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;