DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.

top - metrics - download

Index: L T

⟦fbdefc195⟧ TextFile

    Length: 639 (0x27f)
    Types: TextFile
    Names: »L«

Derivation

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─⟦124ff5788⟧ »DATA« 
        └─⟦this⟧

TextFile

function Premiss return Fact_Base.Queries is
begin
    return (Balls.Exist ((Size   => Define_As (S),
                          Colour => Define_As (C),
                          Place  => Is_Equal (On_Heap))),

            Boxes.Exist ((Colour => Is_Equal (C),
                          Size   => Define_As (T) and
                                       Is_Greater (Value (S) + Value (10)),
                          State  => Is_Equal (Free))),

            Boxes.Absent ((Colour => Is_Equal (C),
                           Size   => Is_Less (T) and Is_Greater (S),
                           State  => Is_Equal (Free))));
end Premiss;