|
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: B T
Length: 763 (0x2fb)
Types: TextFile
Names: »B«
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─⟦129cab021⟧ »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⟧
separate (Bbr_General_Bundle)
package body Dump_Robots_Name_Greta_Rule is
function Premiss return Fact_Queries is
begin
return (1 => (Robots.Exist ((Identity => Is_Equal ("Greta"),
Colour | State => Is_Any))));
end Premiss;
procedure Action (Objects : Fact_Collection) is
The_Robot : Fact_Name renames Objects (1);
use Output_Stream;
begin
New_Line (Standard_Output);
Put_Line ("----- Dump_Robots_Name_Greta -----", Standard_Output);
New_Line (Standard_Output);
Put ("Dumping and then removing : ", Standard_Output);
Put (The_Robot, Standard_Output);
Robots.Delete (The_Robot);
end Action;
end Dump_Robots_Name_Greta_Rule;