|
|
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: 1374 (0x55e)
Types: TextFile
Names: »B«
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─⟦129cab021⟧ »DATA«
└─⟦this⟧
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─⟦129cab021⟧ »DATA«
└─⟦e24fb53b7⟧
└─⟦this⟧
separate (Fqa_Bundle)
package body Answer_To_Questions_Rule is
function Premiss return Fact_Queries is
begin
return (Questions.Exist ((Number => Define_As (N))),
Answers.Exist ((Number => Is_Equal (N),
Value => Is_Any,
Erasable => Is_Any)));
end Premiss;
procedure Action (The_Facts : Fact_Collection) is
The_Question : Fact_Name renames The_Facts (1);
The_Answer : Fact_Name renames The_Facts (2);
The_Number : Integer := Slot.Get (Answers.Get (The_Answer, Number));
The_Value : Integer := Slot.Get (Answers.Get (The_Answer, Value));
use Output_Stream;
begin
New_Line (Standard_Output);
New_Line (Standard_Output);
Put_Line ("---------- Answer_To_Questions_Rule action ----------",
Standard_Output);
New_Line (Standard_Output);
Questions.Delete (The_Question);
Put_Line (Integer'Image (The_Number) &
"! = " & Integer'Image (The_Value), Standard_Output);
New_Line (Standard_Output);
if Calculator.Must_Keep_The_Fact then
Answers.Change (The_Answer, Erasable, Slot.Value (False));
else
Answers.Delete (The_Answer);
end if;
end Action;
end Answer_To_Questions_Rule;