PrologInfo 2024-05
Personal highlights from the news crossing my desk at the PrologInfo twitter account.
Programming Languages
Updates
- Flix has a new error-resilient lexer and parser.
- (2024-05-28 tweet)
- Natlog is a lightweight Prolog-like system (implemented in Python) designed to smoothly interoperate with deep learning tools like PyTorch, JAX, GPT.
- (2024-05-16 tweet)
- Slog, a parallel logic programming engine with first-class facts/data.
- (2024-05-13 tweet)
- Higher-Order, Data-Parallel Structured Deduction (2022, pdf 30 pages)
Languages Mentioned
- Mercury (@MercuryLang)
- Teyjus, a Lambda Prolog implementation
Research Papers
- Finite-Choice Logic Programming
- (2024-05-30 tweet)
pdf 45 pages
Our formalism [finite-choice logic programming] allows straightforward expression of common idioms in both datalog and answer set programming, gives meaning to a new and useful class of programs, enjoys a constructive and direct operational semantics, and admits a predictive cost semantics, which we demonstrate through our implementation.
- Arithmetic Reasoning with LLM: Prolog Generation & Permutation
- (2024-05-28 tweet)
pdf 12 pages
… An LLM should focus on extracting predicates and generating symbolic formulas from the math problem description so that the underlying calculation can be done via an external code interpreter. We investigate using LLM to generate Prolog programs to solve mathematical questions. Experimental results [… are good, obvs]. In addition, given the insensitive ordering of predicates and symbolic formulas in Prolog, we propose to permute the ground truth predicates for more robust LLM training via data augmentation.
- Metric Temporal Equilibrium Logic over Timed Traces
- (2024-05-07 tweet)
pdf 35 pages
… an Answer Set Programming based approach for specifying qualitative and quantitative dynamic [timing] constraints.
- Some Thoughts on How to Teach Prolog (pdf 13 pages)
- (2023-05-04 tweet)
- from the book Prolog: the next 50 years