prologist
No user record in our sample, but prologist has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but prologist has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
Thanks. The Shen language takes this to its logical conclusion (pun intended) and implements a fully Turing complete type system. Types are specified with sequents which are essentially Prolog relations using a slightly…
Their road map to denser storage, TB/cm vs GB/cm, mentions tapes. The cartridges make sense since they're essentially cd-roms, CeraTape on the other hand with 10 nanometer coating seems like magic. > Meanwhile, CeraTape…
Ceramics are notoriously brittle so it will be interesting to see how they make ceramic tapes.
It's just a demonstration of how to encode the transition rules for Conway's game of life as a set of types, aka logical constraints. TypeScript's type system has unification, same as in Prolog, and since Prolog is…
Any sufficiently advanced type system is indistinguishable from Prolog.