The DeepLog Neurosymbolic Machine