Login / Signup

Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings).

Paul Tarau
Published in: Theory Pract. Log. Program. (2013)
Keyphrases
  • logic programming
  • concurrency control
  • database
  • information retrieval
  • shape analysis