DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

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

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - download

⟦e24fca725⟧ Ada Source

    Length: 2048 (0x800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Towers_Of_Hanoi_Frames, seg_02babd

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧

E3 Source Code



with Towers_Of_Hanoi_Kbs;
use Towers_Of_Hanoi_Kbs;
package Towers_Of_Hanoi_Frames is

    type Movement_Slots is (From_Tower, To_Tower, Count, Priority);
    package Movements is new Kbs.Fact_Base.Generic_Fact
                                ("Movement", Movement_Slots);

    type Tower_Slots is (Location, Disk_Count);
    package Towers is new Kbs.Fact_Base.Generic_Fact ("Tower", Tower_Slots);

    type Disk_Slots is (Tower, Level, Size);
    package Disks is new Kbs.Fact_Base.Generic_Fact ("Disk", Disk_Slots);

end Towers_Of_Hanoi_Frames;

E3 Meta Data

    nblk1=1
    nid=0
    hdr6=2
        [0x00] rec0=11 rec1=00 rec2=01 rec3=000
    tail 0x21523c55e83ec82d0e93b 0x42a00088462063c03