DataMuseum.dk

Presents historical artifacts from the history of:

RegneCentralen RC850

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

See our Wiki for more about RegneCentralen RC850

Excavated with: AutoArchaeologist - Free & Open Source Software.

top - metrics - download

⟦847bd3248⟧ TextFile

    Length: 384 (0x180)
    Types: TextFile
    Names: »PRODUCT.LOG«

Derivation

└─⟦0c23030ba⟧ Bits:30005892 LPA Prolog rel 2.0 (RC855)
    └─⟦this⟧ »PRODUCT.LOG«

TextFile

((PROD X Y Z)/
  (TIMES X Y Z)
  (INT X)
  (INT Y)
  (INT Z))
((PROD X Y Z x)
  (VAR Y)
  (VAR x)
  /
  (TIMES X y Z)
  (INT y Y)
  (TIMES X Y z)
  (SUM x z Z))
((PROD X Y Z x)
  (VAR X)
  (VAR x)
  (TIMES Y y Z)
  (INT y X)
  (TIMES Y X z)
  (SUM x z Z))
«eof»