something more like a "chatbot". From what I heard JIMPE is able to make logical deductions from propositions you enter.
Actually, it used some simple deductive logic to do so. The interesting part for us was that it was able to restate its conclusions in valid lojban.
It would need a lot of work to become a chatbot. I can answer questions and go digging for the code if people would like.
- Catherine