←back to thread

Use Prolog to improve LLM's reasoning

(shchegrikovich.substack.com)
379 points shchegrikovich | 2 comments | 13 Oct 24 21:22 UTC | HN request time: 0.677s | source
Show context
luke_galea ◴[18 Oct 24 02:22 UTC] No.41875836[source]▶
Super cool. I dig generating rules from within the LLM, but I'm not sure Prolog is the right choice in 2024.

I love Prolog and had the opportunity to use it "in anger" years ago to handle temporal logic in a scheduling app. Great experience, but I've found that more modern rules engines like Drools (anything using the Rete algorithm) are a MUCH better fit for most use cases these days.

If you are into this stuff, you might like the talk I gave on rules engines, prolog and how it led to erlang & elixir. https://www.youtube.com/watch?v=mDnntrhk-8g&t=1s

replies(2): >>41876289 #>>41879356 #
1. YeGoblynQueenne ◴[18 Oct 24 13:38 UTC] No.41879356[source]▶
Drools is a rules engine, but Prolog is a fully-fledged, general-purpose language, yes? For example SWI-Prolog has a bunch of http libraries and can be used as a web development language (using Prolog's clause database itself in place of some SQL). I don't think that'd be a sensible use case for Drools.
replies(1): >>41884621 #
2. riku_iki ◴[19 Oct 24 00:21 UTC] No.41884621[source]▶
You can use drools from Java as a library probably.