You should checkout cave lang [0]

Compact knowledge language that explores this area.

[0] https://mirekrusin.com/cave