Which conlangs have a primary goals of avoiding ambiguity?
I know Lojban had that as a goal (and is in fact syntactically unambiguous), but are there others?
Here are the top five best-known (see footnote 1).
All these have Wikipedia articles under their name, except Ceqli (available on Dutch Wikipedia) to which you can go via the link given.
Footnotes: 1) These languages (except Lojban and possibly Ithkuil) don't actively disambiguate phonemic ambiguity. That's the difference between 'an app' and 'a nap'. It resulted in English a nickname, from an ekename.
2) An example of formal logic, using prerequisite axioms
[PERSON(a) 'A is a person', HAVE_ALIENABLE(a, b) 'A has B alienably', HEAD(a) 'A is a head'], is
∀ x: PERSON(x) → (∃ y: HAVE_ALIENABLE(x, HEAD(y))) ('Everyone has a head', 'For every X, if X is a person, there exists some Y which X has alienably and which is a head').