James Orlin Grabbe https://en.wikipedia.org/wiki/James_Orlin_Grabbe

His Digital Monetary Trusts https://en.wikipedia.org/wiki/Digital_Monetary_Trust

The End of Ordinary Money https://www.memresearch.org/grabbe/money1.htm

Cyc an artificial intelligence project that attempts to assemble a comprehensive ontology and knowledge base of everyday common sense knowledge, with the goal of enabling AI applications to perform human-like reasoning.

The project was started in 1984 by Douglas Lenat at MCC and is developed by the Cycorp company. Parts of the project are released as OpenCyc, which provides an API, RDF endpoint, and data dump under an open source license.

https://en.wikipedia.org/wiki/Cyc

Prolog, Backward chaining, forward chaining, opportunisitic reasoning.