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

⟦f60802786⟧ TextFile

    Length: 1748 (0x6d4)
    Types: TextFile
    Names: »B«

Derivation

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

TextFile

with M_Frames;
with M_Kbs;
with M_Rule_Bundle;
with Output_Stream;
with Slot;
procedure M_Test is

    use M_Frames;
    use Slot;

    procedure Load_Initial_Working_Memory is
    begin

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (1)));


        Bank_Notes.Add ((Value => Value (1),  
                         Power => Value (10)));

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (1)));

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (1)));

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (1)));

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (1)));

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (10)));

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (1)));

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (1)));

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (10)));

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (1)));

        Bank_Notes.Add ((Value => Value (5),  
                         Power => Value (1)));

    end Load_Initial_Working_Memory;


    procedure M_Infere is new M_Kbs.Kbs.Rule_Base.Infere
                                 (Do_Action => M_Rule_Bundle.Do_Action);

begin
    Load_Initial_Working_Memory;
    M_Kbs.Kbs.Fact_Base.Working_Memory.Default_Put
       (Output_Stream.Standard_Output);
    M_Infere;
    M_Kbs.Kbs.Fact_Base.Working_Memory.Default_Put
       (Output_Stream.Standard_Output);
end M_Test;