|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 7168 (0x1c00)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body A_Brick_Exist_On_Heap_Rule, package body A_Reserved_Box_Exist_Rule, package body Bgrb1_Rule_Bundle, package body Give_Work_To_A_Robot_Rule, package body No_Bricks_And_No_Working_Robot_Rule, package body No_Empty_Boxes_Left_Rule, seg_04b367
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
with Bgrb1_Frames;
with Slot;
with Alias;
with Bgrb1_Kbs;
with Output_Stream;
with Bgrb1_Physical_Robots;
package body Bgrb1_Rule_Bundle is
use Kbs;
type Rule_Names is (Give_Work_To_A_Robot, A_Reserved_Box_Exist,
A_Brick_Exist_On_Heap, No_Bricks_And_No_Working_Robot,
No_Empty_Boxes_Left, No_More);
------------------------------------------------------------------------
package Give_Work_To_A_Robot_Rule is
function Premiss return Fact_Queries;
procedure Action (Objects : Fact_Collection);
end Give_Work_To_A_Robot_Rule;
package body Give_Work_To_A_Robot_Rule is separate;
------------------------------------------------------------------------
package A_Reserved_Box_Exist_Rule is
function Premiss return Fact_Queries;
procedure Action (Objects : Fact_Collection);
end A_Reserved_Box_Exist_Rule;
package body A_Reserved_Box_Exist_Rule is separate;
------------------------------------------------------------------------
package A_Brick_Exist_On_Heap_Rule is
function Premiss return Fact_Queries;
procedure Action (Objects : Fact_Collection);
end A_Brick_Exist_On_Heap_Rule;
package body A_Brick_Exist_On_Heap_Rule is separate;
------------------------------------------------------------------------
package No_Bricks_And_No_Working_Robot_Rule is
function Premiss return Fact_Queries;
procedure Action (Objects : Fact_Collection);
end No_Bricks_And_No_Working_Robot_Rule;
package body No_Bricks_And_No_Working_Robot_Rule is separate;
------------------------------------------------------------------------
package No_Empty_Boxes_Left_Rule is
function Premiss return Fact_Queries;
procedure Action (Objects : Fact_Collection);
end No_Empty_Boxes_Left_Rule;
package body No_Empty_Boxes_Left_Rule is separate;
------------------------------------------------------------------------
package Rule_Bundle is
new Rule_Base.Generic_Rule_Bundle
(The_Bundle => Bgrb1_Kbs.Bgrb_Rule_Bundle,
Rule_Names => Rule_Names,
Nothing => Rule_Names'Last,
Rule_1 => Give_Work_To_A_Robot,
Premiss_1 => Give_Work_To_A_Robot_Rule.Premiss,
Action_1 => Give_Work_To_A_Robot_Rule.Action,
Rule_2 => A_Reserved_Box_Exist,
Premiss_2 => A_Reserved_Box_Exist_Rule.Premiss,
Action_2 => A_Reserved_Box_Exist_Rule.Action,
Rule_3 => A_Brick_Exist_On_Heap,
Premiss_3 => A_Brick_Exist_On_Heap_Rule.Premiss,
Action_3 => A_Brick_Exist_On_Heap_Rule.Action,
Rule_4 => No_Bricks_And_No_Working_Robot,
Premiss_4 => No_Bricks_And_No_Working_Robot_Rule.Premiss,
Action_4 => No_Bricks_And_No_Working_Robot_Rule.Action,
Rule_5 => No_Empty_Boxes_Left,
Premiss_5 => No_Empty_Boxes_Left_Rule.Premiss,
Action_5 => No_Empty_Boxes_Left_Rule.Action);
procedure Do_Action (For_Rule : Kbs.Rule_Id;
On_Facts : Kbs.Fact_Collection) is
begin
Rule_Bundle.Do_Action (For_Rule, On_Facts);
end Do_Action;
end Bgrb1_Rule_Bundle;
nblk1=6
nid=2
hdr6=a
[0x00] rec0=20 rec1=00 rec2=01 rec3=032
[0x01] rec0=00 rec1=00 rec2=06 rec3=004
[0x02] rec0=1b rec1=00 rec2=04 rec3=028
[0x03] rec0=19 rec1=00 rec2=05 rec3=04a
[0x04] rec0=0f rec1=00 rec2=03 rec3=000
[0x05] rec0=0f rec1=00 rec2=02 rec3=001
tail 0x2174fb2c0867a493fb6d9 0x42a00088462063c03
Free Block Chain:
0x2: 0000 00 00 02 14 80 20 64 5f 4e 6f 5f 57 6f 72 6b 69 ┆ d_No_Worki┆