Buddhist philosophy represented in Prolog

Awesome! I’m glad you see the potential. BTW, if anyone is interested in what debate looks like in the Tibetan monasteries here is a western explanation. I tried to explain a bit about it here.

The first step is to learn constructive logic and this intro seems to do a decent job. Apparently this is part of a course held by Carnegie Mellon.

After that, the step will involve coming up with example games that meet the formalism of that logic with natural language thesis and the game as described here.

:pray:

1 Like