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

⟦2e42cf50e⟧ TextFile

    Length: 2623 (0xa3f)
    Types: TextFile
    Names: »B«

Derivation

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦e24fb53b7⟧ 
            └─⟦this⟧

TextFile

with Bbr_Do_Action;
with Bbr_Frames;
with Bbr_Kbs;
with Output_Stream;
with Slot;

use Bbr_Frames;
use Bbr_Kbs;
use Output_Stream;

procedure Bbr_Test is

    procedure Load_Initial_Working_Memory is
    begin

        Robots.Add ((Colour   => Green_Colour,  
                     State    => Free_State,
                     Identity => Slot.Value ("Greta")));

        Robots.Add ((Colour   => Red_Colour,  
                     State    => Busy_State,
                     Identity => Slot.Value ("Garbo")));

        Robots.Add ((Colour   => Red_Colour,  
                     State    => Free_State,
                     Identity => Slot.Value ("Greta")));

        Robots.Add ((Colour   => Blue_Colour,
                     State    => Free_State,
                     Identity => Slot.Value ("Shrdlu")));

        Robots.Add ((Colour   => Blue_Colour,
                     State    => Busy_State,
                     Identity => Slot.Value ("Greta")));

        Robots.Add ((Colour   => Green_Colour,
                     State    => Busy_State,
                     Identity => Slot.Value ("Marylin")));

        Balls.Add ((Size   => Slot.Value (50),  
                    Colour => Blue_Colour,
                    Place  => On_Heap_Place));

        Balls.Add ((Size   => Slot.Value (75),
                    Colour => Green_Colour,
                    Place  => On_Heap_Place));

        Balls.Add ((Size   => Slot.Value (95),  
                    Colour => Red_Colour,
                    Place  => On_Heap_Place));

        Balls.Add ((Size   => Slot.Value (100),
                    Colour => Blue_Colour,
                    Place  => On_Heap_Place));

        Boxes.Add ((Size   => Slot.Value (750),  
                    Colour => Red_Colour,
                    State  => Free_State));

        Boxes.Add ((Size   => Slot.Value (10000),
                    Colour => Green_Colour,
                    State  => Free_State));

        Boxes.Add ((Size   => Slot.Value (150),  
                    Colour => Red_Colour,
                    State  => Busy_State));

    end Load_Initial_Working_Memory;

    procedure Play_With_Balls_Boxes_And_Robots is
       new Kbs.Rule_Base.Infere (Do_Action => Bbr_Do_Action);

    procedure Put_Working_Memory is
       new Kbs.Fact_Base.Working_Memory.Generic_Put (Put => Bbr_Frames.Put);

begin
    Load_Initial_Working_Memory;

    Put_Working_Memory (Standard_Output);
    New_Line (Standard_Output);

    for I in 1 .. Kbs.Rule_Base.Count loop
        Kbs.Rule_Base.Put (I, Standard_Output);
    end loop;  
    Play_With_Balls_Boxes_And_Robots;
end Bbr_Test;