Logic Programming

[davesmith00000]

Several attempts have been made to introduce ad-hoc logic constructs here and there for specific use cases, but I think it would be interesting to consider putting in a proper abstraction for logic programming.

What we want is to be able to describe facts and rules that produce actions. Sounds simple enough, but it gets complicated pretty quickly, particularly when you need to factor in time and state transitions.

Also, aim for a builder pattern rather than a DSL this time.