declarative semantics, Differentiable Logic, Fuzzy Logic, machine learning, probabilistic logic, types.