If you find this interesting, there are a lot of resources for the Turkic languages in the Apertium platform: http://wiki.apertium.org/wiki/Turkic_languages htt

If you find this interesting, there are a lot of resources for the Turkic languages in the Apertium platform: http://wiki.apertium.org/wiki/Turkic_languages http://wiki.apertium.org/wiki/Turkic_languages These include monolingual lexicons and bilingual dictionaries that can be compiled to finite state transducers, as well as disambiguators/parsers (in vislcg3 Constraint Grammar format) and annotated corpora. For some pairs in the language group, there are also full machine translation systems and spellcheckers (for LibreOffice, Firefox and Microsoft Office). Much of the data is already available in Debian/Ubuntu/Fedora/OpenSUSE, if you don't need the newest git: $ sudo apt install apertium-tur $ apertium -l |grep tur tur-disam tur-gener tur-lexc tur-morph tur-tagger tur-twol $ echo 'aynı maruldaydık' | apertium tur-disam "<aynı>" "aynı" det dem SELECT:144 ; "aynı" adj SELECT:144 ; "aynı" adj subst nom SELECT:144 ; "aynı" adj SELECT:144 ; "i" cop p3 sg ; "aynı" adj SELECT:144 ; "i" cop aor p3 sg ; "aynı" adj subst nom SELECT:144 ; "i" cop p3 sg ; "aynı" adj subst nom SELECT:144 ; "i" cop aor p3 sg "<maruldaydık>" "marul" n loc "i" cop ifi p1 pl "<.>" "." sent Or use the stuff from beta.apertium.org for a quick test; click "analyse" to go from form to analysis: http://beta.apertium.org/index.html?choice=tur&qA=ayn%C4%B1%20maruldayd%C4%B1k#analyzation http://beta.apertium.org/index.html?choice=tur&qA=ayn%C4%B1%... Click "generate" to go from analysis to form: http://beta.apertium.org/index.html?choice=tur&qG=%5Eayn%C4%B1%3Cadj%3E%3Csubst%3E%3Cnom%3E%24%20%5Emarul%3Cn%3E%3Cloc%3E%2Bi%3Ccop%3E%3Cifi%3E%3Cp1%3E%3Cpl%3E%24#generation http://beta.apertium.org/index.html?choice=tur&qG=%5Eayn%C4%... There's no "predicate logic" yet, but the Constraint Grammars already used for disambiguation in Apertium are very well suited for syntax and dependency parsing (there are some quite advanced ones for the Saami languages that could be used as a basis)