DataMuseum.dk

top - download

    Length: 1514 (0x5ea)
    Types: TextFile
    Names: »V«

└─⟦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⟧ 

TextFile

with Condition;
package Fact is

    Dummy : constant := -1;

    Robot : constant := 1;
    Ball  : constant := 2;
    Box   : constant := 3;

    Busy    : constant := 4;
    Free    : constant := 5;
    On_Heap : constant := 6;  
    In_Box  : constant := 7;


    Blue  : constant := 8;
    Green : constant := 9;
    Red   : constant := 10;


    type Slot_Name is (Class, Size, Colour, State);

    type Name is private;

    Null_Name : constant Name;

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

    type Frame is array (Slot_Name) of Integer;

    type Pattern is array (Slot_Name) of Condition.Object;

    type Query_Qualifier is (Find, Check_No);
    type Query (Kind : Query_Qualifier := Find) is
        record
            Value : Pattern;
        end record;

    type Join_Descriptor is array (Positive range <>) of Query;

    Overflow : exception;

    function Empty_Collection                    return Collection;
    function Find     (Filter : Pattern)         return Name;
    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_Name;
                      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;