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

⟦57e6cbf31⟧ TextFile

    Length: 507 (0x1fb)
    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 F_Kbs;
with F_General_Bundle;
with F_Working_Memory;
with Output_Stream;
with Text_Io;
procedure F_Test is
    procedure F_Play_With_Factorials is
       new F_Kbs.Kbs.Rule_Base.Infere (Do_Action => F_General_Bundle.Do_Action);
begin
    F_Working_Memory.Load_Initial;
    F_Working_Memory.Put_All;  
    for I in 1 .. F_Kbs.Kbs.Rule_Base.Count loop
        F_Kbs.Kbs.Rule_Base.Put (I, Output_Stream.Standard_Output);
    end loop;
    F_Play_With_Factorials;
    F_Working_Memory.Put_All;

end F_Test;