|
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: 619 (0x26b)
Types: TextFile
Names: »B«
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
└─⟦129cab021⟧ »DATA«
└─⟦e24fb53b7⟧
└─⟦this⟧
with Text_Io;
separate (R_Rule_Bundle)
package body Find_Rectangle_Rule is
use Alias;
use R_Frames;
use Slot;
use R_Kbs.Kbs.Predicate;
use R_Kbs.Kbs.Predicate.System_Defined_Predicate;
use R_Kbs.Kbs.Fact_Base.Query.Operators;
use R_Kbs.Kbs.Expression.System_Defined_Expression;
function Premiss return Fact_Queries is
begin
return (1 => Points.Exist ((X => Is_Equal (10),
Y => Is_Equal (20))));
end Premiss;
procedure Action (Objects : Fact_Collection) is
begin
null;
end Action;
end Find_Rectangle_Rule;