I have been working on a logic programming language
that I have published here .
In my opinion, it has a potential expressive power
superior to that of other logic languages I have studied ,
it can reason efficiently (polynomial time),
and it is mathematically very simple (first order theory with a finite model).