ALIST: Associative Logic for Inference, Storage and Transfer. A Lingua Franca for Inference on the Web