|
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 - downloadIndex: ┃ B T ┃
Length: 695 (0x2b7)
Types: TextFile
Names: »B«
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
└─ ⟦6f12a12be⟧ »DATA«
└─⟦this⟧
with Context;
with Engine_First;
with Instance, Create_Initial_Facts, Pack_Action;
with Ne_Balls_Boxes_Stickers_Conditions, Pack_Action;
use Ne_Balls_Boxes_Stickers_Conditions;
procedure Test_Ball_Instances is
Result : Boolean;
package Search_Ball_Box_Sticker is
new Engine_First
(Context_Name => "BBS",
Resolution => Context.First,
Used_Rules => 1,
Name_1 => "PACK_IT",
Condition_1 => Ne_Balls_Boxes_Stickers_Conditions.Pack_Condition,
Action_1 => Pack_Action);
begin
Create_Initial_Facts;
Result := Search_Ball_Box_Sticker.Inference (Instance.Any);
end Test_Ball_Instances;