DataMuseum.dk

top - download

    Length: 1688 (0x698)
    Types: TextFile
    Names: »V«

└─⟦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 Condition;
package Fact is

    Max_Slots : constant := 20;

    type Name is private;
    Null_Name : constant Name;

    type Collection is array (Positive range <>) of Name;

    subtype Slot_Names is Positive range 1 .. Max_Slots;

    type Frame is array (Slot_Names range <>) of Integer;

    type Pattern is array (Slot_Names range <>) of Condition.Object;

    type Query_Qualifier is (Find, Check_No);
    type Query (Size : Natural := 0) is
        record
            Kind  : Query_Qualifier;
            Value : Pattern (1 .. Size);
        end record;

    Null_Query : constant Query :=
       Query'(Size => 0, Kind => Find, Value => (others => Condition.Is_Any));

    type Join_Descriptor is array (Positive range <>) of Query;
    Null_Premiss : constant Join_Descriptor := (1 .. 0 => Null_Query);

    Overflow : exception;

    function Get (The_Fact : Name)                    return Frame;
    function Get (The_Fact : Name; Slot : Slot_Names) return Integer;

    function Empty_Collection                    return Collection;
    function Find     (Filter : Pattern)         return Name;
    function Find     (Filter : Pattern)         return Collection;
    function Retrieve (Filter : Join_Descriptor) return Collection;

    procedure Add    (The_Fact : Frame);
    procedure Delete (The_Fact : Name);
    procedure Change (The_Fact : Name; Value : Frame);
    procedure Change (The_Fact : Name;
                      The_Slot : Slot_Names;
                      To_Value : Integer);

    procedure Put (The_Fact : Name);
    procedure Put (The_Collection : Collection);

private
    type Name is new Natural;
    Null_Name : constant Name := 0;
end Fact;