|
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 Put_Into_Box_Rule, seg_04a0a8, seg_04a918, seg_04b388, separate Br_Rule_Bundle
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
separate (Br_Rule_Bundle)
package body Put_Into_Box_Rule is
function Premiss return Br_Kbs.Kbs.Fact_Queries is
The_Box : constant Alias.Name := Alias.B;
begin
return (Br_Frames.Robots.Exist
((Br_Frames.Action => Br_Kbs.Kbs.Fact_Base.Predicate.
System_Defined_Predicate.Is_Equal
(Br_Frames.Dropping_Action),
Br_Frames.Box =>
Br_Kbs.Kbs.Fact_Base.Predicate.Define_As (The_Box))),
Br_Frames.Bricks.Exist
((Br_Frames.Name => Br_Kbs.Kbs.Fact_Base.Predicate.
System_Defined_Predicate.Is_Any,
Br_Frames.Size => Br_Kbs.Kbs.Fact_Base.Predicate.
System_Defined_Predicate.Is_Any,
Br_Frames.Place => Br_Kbs.Kbs.Fact_Base.Predicate.
System_Defined_Predicate.Is_Equal
(Br_Frames.In_Pliers_Place))));
end Premiss;
procedure Action (Objects : Br_Kbs.Kbs.Fact_Collection) is
The_Robot : Br_Kbs.Kbs.Fact_Name renames Objects (1);
The_Brick_In_Pliers : Br_Kbs.Kbs.Fact_Name renames Objects (2);
The_Box_Number : Slot.Object :=
Br_Frames.Robots.Get (The_Robot, Br_Frames.Box);
On_Screen : Output_Stream.Object := Output_Stream.Standard_Output;
begin
Output_Stream.New_Line (On_Screen);
Output_Stream.Put_Line
(" --------------------------------------------------------",
On_Screen);
Output_Stream.Put_Line
(" -- THE ROBOT IS DROPPING THE BRICK INTO THE BOX --",
On_Screen);
Output_Stream.Put_Line
(" --------------------------------------------------------", On_Screen);
Output_Stream.New_Line (On_Screen);
Br_Frames.Bricks.Change (The_Brick_In_Pliers,
Br_Frames.Place, The_Box_Number);
Br_Frames.Robots.Change (The_Robot, Br_Frames.Action,
Br_Frames.Taking_Action);
Br_Frames.Robots.Change
(The_Robot, Br_Frames.Box,
Slot.Operators."+" (The_Box_Number, Slot.Value (1)));
Output_Stream.New_Line (On_Screen);
Output_Stream.Put_Line ("THE BRICK IS NOW : ", On_Screen);
Br_Frames.Put (The_Brick_In_Pliers, On_Screen);
Output_Stream.New_Line (On_Screen);
Output_Stream.New_Line (On_Screen);
Output_Stream.Put_Line ("THE ROBOT IS NOW : ", On_Screen);
Br_Frames.Put (The_Robot, On_Screen);
Output_Stream.New_Line (On_Screen);
end Action;
end Put_Into_Box_Rule;
nblk1=6
nid=2
hdr6=6
[0x00] rec0=17 rec1=00 rec2=01 rec3=004
[0x01] rec0=18 rec1=00 rec2=05 rec3=002
[0x02] rec0=19 rec1=00 rec2=06 rec3=000
[0x03] rec0=04 rec1=e7 rec2=24 rec3=142
[0x04] rec0=c0 rec1=00 rec2=00 rec3=100
[0x05] rec0=43 rec1=34 rec2=3c rec3=2a3
tail 0x2174e8852866c42e611c6 0x42a00088462063c03
Free Block Chain:
0x2: 0000 00 03 02 79 80 13 20 20 20 20 20 20 20 20 4f 6e ┆ y On┆
0x3: 0000 00 04 02 fb 80 0d 20 28 4f 6e 5f 53 63 72 65 65 ┆ (On_Scree┆
0x4: 0000 00 00 03 fc 80 45 20 20 20 20 20 20 20 20 20 20 ┆ E ┆