π¨βπ» is interested on learning Lojban, a constructed language based on predicate logic. en.wikipedia.org/wiki/Lojban