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

⟦4f55f8a3f⟧ TextFile

    Length: 2291 (0x8f3)
    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 Alias;
with Fqa_Kbs;
with Fqa_Frames;
with Output_Stream;
with Slot;
with Calculator;

use Alias;
use Fqa_Kbs;
use Fqa_Frames;
package body Fqa_Bundle is

    use Fqa_Kbs.Kbs;
    use Fqa_Kbs.Kbs.Predicate;
    use Fqa_Kbs.Kbs.Predicate.System_Defined_Predicate;


    type Rule_Names is (Answer_To_Questions, Find_Closest_Inf,
                        Find_Closest_Sup, No_More);

    ---------------------------------------------------------------------------

    package Answer_To_Questions_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (The_Facts : Fact_Collection);
    end Answer_To_Questions_Rule;


    package body Answer_To_Questions_Rule is separate;


    ---------------------------------------------------------------------------

    package Find_Closest_Inf_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (The_Facts : Fact_Collection);
    end Find_Closest_Inf_Rule;


    package body Find_Closest_Inf_Rule is separate;


    ---------------------------------------------------------------------------

    package Find_Closest_Sup_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (The_Facts : Fact_Collection);
    end Find_Closest_Sup_Rule;


    package body Find_Closest_Sup_Rule is separate;



    ---------------------------------------------------------------------------

    package Rule_Bundle is
       new Rule_Base.Generic_Rule_Bundle
              (The_Bundle => Fqa_Kbs.Fqa_Bundle,
               Rule_Names => Rule_Names,
               Nothing    => Rule_Names'Last,

               Rule_1     => Answer_To_Questions,
               Premiss_1  => Answer_To_Questions_Rule.Premiss,
               Action_1   => Answer_To_Questions_Rule.Action,

               Rule_2     => Find_Closest_Inf,
               Premiss_2  => Find_Closest_Inf_Rule.Premiss,
               Action_2   => Find_Closest_Inf_Rule.Action,

               Rule_3     => Find_Closest_Sup,
               Premiss_3  => Find_Closest_Sup_Rule.Premiss,
               Action_3   => Find_Closest_Sup_Rule.Action);

    procedure Do_Action (For_Rule : Rule_Id; On_Facts : Fact_Collection) is
    begin
        Rule_Bundle.Do_Action (For_Rule, On_Facts);
    end Do_Action;


end Fqa_Bundle;