|
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 - metrics - download
Length: 3072 (0xc00)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Change_Three_Notes_Rule, seg_03b90c, separate M_Rule_Bundle
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
separate (M_Rule_Bundle)
package body Change_Three_Notes_Rule is
use Alias;
use M_Frames;
use Slot;
use M_Kbs.Kbs.Predicate;
use M_Kbs.Kbs.Predicate.System_Defined_Predicate;
function Premiss return Fact_Queries is
begin
return (Bank_Notes.Exist ((Value => Is_Equal (2),
Power => Define_As (P))),
Bank_Notes.Exist ((Value => Is_Equal (2),
Power => Is_Equal (P))),
Bank_Notes.Exist ((Value => Is_Equal (1),
Power => Is_Equal (P))));
end Premiss;
procedure Action (Objects : Fact_Collection) is
First_Note : Fact_Name renames Objects (1);
Second_Note : Fact_Name renames Objects (2);
Third_Note : Fact_Name renames Objects (3);
The_Power : Integer := Bank_Notes.Get (First_Note, Power);
use Output_Stream;
On_Screen : Output_Stream.Object := Standard_Output;
begin
New_Line (On_Screen);
Put_Line ("********** Changing tree notes into one note **********",
On_Screen);
Bank_Notes.Delete (First_Note);
Bank_Notes.Delete (Second_Note);
Bank_Notes.Delete (Third_Note);
Bank_Notes.Add ((Value (5), Value (The_Power)));
M_Kbs.Kbs.Fact_Base.Working_Memory.Default_Put
(Output_Stream.Standard_Output);
end Action;
end Change_Three_Notes_Rule;
nblk1=2
nid=0
hdr6=4
[0x00] rec0=20 rec1=00 rec2=01 rec3=01a
[0x01] rec0=0d rec1=00 rec2=02 rec3=001
tail 0x21737e37685083f07146a 0x42a00088462063c03