|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T V
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⟧
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;