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: 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;