3 stories tagged logic-programming, newest first.
343 points by shchegrikovich | 122 comments
Substack post arguing that having LLMs generate Prolog code can improve their reasoning, given the limits of autoregressive transformer generation.
383 points by overclock351 | 234 comments
An Ask HN thread where a computer science student asks what the state of Prolog and logic programming is in 2024 and what people use it for.
337 points by todsacerdoti | 47 comments
Hillel Wayne blog post explaining the Picat research language and its planner module for planning-based logic programming.