Get the latest tech news
Transcendental Syntax
Technical interpretation of Girard's transcendental syntax - engboris/transcendental-syntax
The transcendental syntax is a method of constructing logical abstractions from a low-level elementary and "logic-agnostic" language. it is a logic-agnostic, asynchronous and very general version of Robinson's first-order resolution with disjunctive clauses, which is used in logic programming; it is a very elementary logic-agnostic constraint programming language; it is a non-planar generalization of Wang tiles (or LEGO bricks) using terms instead of colours and term unification instead of colour matching; it is a model of interactive agents behaving like molecules which interact with each other. Stellar resolution is very elementary and an interpreter for it can be written in a very concise way since it mostly relies on a unification algorithm.
Or read this on Hacker News