I follow the field fairly closely, I've implemented an open language question answering system myself, as well as re-implemented parts of the Watson QA system form their papers. I've built NN based entailment systems, and I built a text summarisation system which still wins benchmark competitions 15 years after it was built. Also, I use Superset (AirBNB's opensource Tableau competitor) daily.
Basically, I'm not a complete neophyte in this and related fields.
But I don't have a clue what this system does.
I know Prolog and some about CCG. But the it talks about Tableau and I'm completely lost.
Can someone please explain?
I should have read the paper, not just jumped to the Github link.
There wasn't a single comment on this post, despite it getting lots of upvotes. I assumed I was missing something, but I felt like my "WTF" needed some context.
This project is a natural-language-processing, tableau-based-theorem-proving application implemented in the Prolog programming language.