[eatsleepmonad]

I recently implemented an eagerly evaluated embedded Prolog dialect in Dart for my game applications. I used SWI documentation extensively to figure out what to implement.

But I think I had the most difficulty designing the interface between the logic code and Dart. I ended up with a way to add "Dart-defined relations", where you provide relations backed dynamically by your ECS or database. State stays in imperative land, rules stay in logic land.

Testing on Queens8, SWI is about 10,000 times faster than my implementation. It's a work of art! But it doesn't have the ease of use in my game dev context as a simple Dart library does.

[ioma8]

Would you mind sharing your prolog dart lib?

[eatsleepmonad]

Unfortunately it is closed source. My plan is to use it as (part of) the foundation for my game studio.

Do you have a different use case? I would be open to sharing it on a project- or time-limited basis in exchange for bug reports and feature requests.