There is also Toaq, a similar predicate logic based language. Instead of many particles to modify meaning, it uses a system of 8 tones.

http://toaq.org