|
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_Two_Notes_Rule, seg_03b90d, 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_Two_Notes_Rule is
use Alias;
use Slot;
use M_Frames;
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 => Define_As (X) and Is_Different (2),
Power => Define_As (P))),
Bank_Notes.Exist ((Value => Is_Equal (X),
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);
The_Value : Integer := Bank_Notes.Get (First_Note, Value);
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 two notes into one note **********",
On_Screen);
Bank_Notes.Delete (First_Note);
Bank_Notes.Delete (Second_Note);
if The_Value = 1 then
Bank_Notes.Add ((Value (2), Value (The_Power)));
elsif The_Value = 5 then
Bank_Notes.Add ((Value (1), Value (The_Power * 10)));
else
Put_Line ("********** Error in filtering **********", On_Screen);
end if;
M_Kbs.Kbs.Fact_Base.Working_Memory.Default_Put
(Output_Stream.Standard_Output);
end Action;
end Change_Two_Notes_Rule;
nblk1=2
nid=0
hdr6=4
[0x00] rec0=1f rec1=00 rec2=01 rec3=03a
[0x01] rec0=10 rec1=00 rec2=02 rec3=001
tail 0x21737e50285085bfb5607 0x42a00088462063c03