[mindcrime]

I am once again shilling the idea that someone should find a way to glue Prolog and LLMs together for better reasoning agents.

There are definitely people researching ideas here. For my own part, I've been doing a lot of work with Jason[1], a very Prolog like logic language / agent environment with an eye towards how to integrate that with LLMs (and "other").

Nothing specific / exciting to share yet, but just thought I'd point out that there are people out there who see potential value in this sort of thing and are investigating it.

[1]: https://github.com/jason-lang/jason

[Gormisdomai]

Related: LLMs trained on "A is B" fail to learn "B is A"

https://arxiv.org/abs/2309.12288