Lojban is probably the constructed language closest to IEML (it is univocalwith a non-ambiguous syntax), but it was designed to be spoken and it doesn’thave computable semantics