Insightful, and reminds me of Kierkegaard: Man is spirit. But what is spirit? Spirit is the self. But what is the self? The self is a relation which relates it

Insightful, and reminds me of Kierkegaard: Man is spirit. But what is spirit? Spirit is the self. But what is the self? The self is a relation which relates itself to its own self, or it is that in the relation [which accounts for it] that the relation relates itself to its own self; the self is not the relation but [consists in the fact] that the relation relates itself to its own self. Would this specification suffice for a sentient datalog program? Or is datalog itself sentient? You've captured my intrigue, and now I want to explore datalog, so thank you for writing the article.