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: ┃ T V ┃

⟦3782aa645⟧ TextFile

    Length: 1941 (0x795)
    Types: TextFile
    Names: »V«

Derivation

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »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 Generic_Condition;
with Generic_Fact_Base;
with Generic_Rule_Base;
generic
    Max_Frame_Count                : Positive := 200;
    Max_Slots                      : Positive := 20;
    Max_Condition_Elements_By_Rule : Positive := 10;  
    Max_Condition_Elements         : Positive := 200;
    Max_Rules                      : Positive := 50;  
    type Rule_Bundles is (<>);
package Generic_Kbs is
    package Condition is  
       new Generic_Condition;

    package Fact_Base is  
       new Generic_Fact_Base (Max_Frame_Count  => Max_Frame_Count,
                              Max_Slots        => Max_Slots,
                              Condition_Object => Condition.Object,
                              Is_Any           => Condition.Is_Any,
                              Condition_Match  => Condition.Match,
                              Condition_Put    => Condition.Put);

    package Rule_Base is
       new  
           Generic_Rule_Base
              (Max_Rules                      => Max_Rules,
               Max_Condition_Elements_By_Rule => Max_Condition_Elements_By_Rule,
               Max_Condition_Elements         => Max_Condition_Elements,
               Rule_Bundles                   => Rule_Bundles,
               Fact_Name                      => Fact_Base.Object,
               Fact_Collection                => Fact_Base.Collection,
               Empty_Fact_Collection          => Fact_Base.Empty_Collection,
               Fact_Put                       => Fact_Base.Put,
               Fact_Query                     => Fact_Base.Query,
               Null_Fact_Query                => Fact_Base.Null_Query,
               Fact_Queries                   => Fact_Base.Queries,
               Null_Premiss                   => Fact_Base.Null_Premiss,
               Retrieve                       => Fact_Base.Retrieve,
               Queries_Put                    => Fact_Base.Put);


end Generic_Kbs;