4 ms·Lojban now supports second order predicate logic.by gleki 11y agoLojban now supports second order predicate logic.