Just participated in a conference call with a bunch of developers and users of s(CASP) to talk about ways to improve the natural language generation. Great meeting, and good progress. The meetings are going to continue. If you are using s(CASP) in Rules as Code and interested in improving the NLG in the explanations, or if you are interested in being able to generate explanations in more than one language, let me know in the replies, and I’ll send you the invite to future meetings.
Also, I was delighted to see some people from Logical Contracts, there, and to learn that they are examining compiling from Logical English to s(CASP)! Logical English is a controlled natural language version of Prolog that is used with LPS. You can see an example here.
I’ll add Logical English to the knowledge base. Somehow it got missed?