I meant that designing and implementing good declarative logical languages is an open research problem, because logical inference is basically unsolved. Procedu

I meant that designing and implementing good declarative logical languages is an open research problem, because logical inference is basically unsolved. Procedural languages are trivial, in comparison.