karoli yasaga nisoni rwose propositional horn clauses are also of interest in computational complexity his mother is vietnamese