stassa/louise on Hacker News

You said AI: https://github.com/stassa/louise Louise (Patsantzis & Muggleton 2021) is a machine learning system that learns Prolog programs. Louise is a Meta-Interpretive Learning (MIL) system. MIL (Muggleton et al. 2014), (Muggleton et…

comment by thesz · 2026-02-24 · in Extending C with Prolog (1994)

…concatenative language's) definitions. And here we enter a realm interesting in itself. Here it is: https://github.com/stassa/louise This is a Prolog system to learn programs in polynomial time. For one example, it can one-shot-learn a…

comment by thesz · 2026-02-18 · in R3forth: A concatenative language derived from ColorForth

…system that I created during my PhD is based on an inductive, second-order Prolog meta-interpreter: https://github.com/stassa/louise You'll find the early version of that meta-interpreter in https://github.com/stassa/louise/blob/master/src/…

comment by YeGoblynQueenne · 2025-06-17 · in Implementing Logic Programming

https://github.com/stassa/louise "Louise is a machine learning system that learns Prolog programs." For example, it can infer context-free grammar from half a dozen examples, one positive and several negatives.

comment by thesz · 2025-05-10 · in Prolog's Eternal September (2017)

…in it, but it's my thesis and it matters to me :) Edit: you can see some of the results here btw: https://github.com/stassa/louise

comment by YeGoblynQueenne · 2024-10-19 · in Use Prolog to improve LLM's reasoning

…a modern ILP I suggest Popper: https://github.com/logic-and-learning-lab/Popper/ Or Louise (mine): https://github.com/stassa/louise One of the DreamCoder papers describes Inductive Programming as a form of weakly supervised learning, in…

comment by YeGoblynQueenne · 2024-08-04 · in Discovering algorithms by enumerating terms in Haskell

Here's what I'm doing with Prolog: https://github.com/stassa/louise Louise is a Meta-Interpretive Learning (MIL) system. MIL is like a second-order Prolog where first-order programs are learned from higher-order programs by Resolution.…

comment by YeGoblynQueenne · 2024-07-19 · in Ask HN: What's Prolog like in 2024?

…learning, then you might be interested in Inductive Logic Programming. Here's a link to my work: https://github.com/stassa/louise The referenced papers include some examples on learning a simple CFG for a small set of Magic: the Gathering…

comment by YeGoblynQueenne · 2024-04-13 · in Show HN: Mazelit - My wife and I released our first game

…second-order Resolution for induction. Here's how it's done (a.k.a. shameless plug of my PhD work): https://github.com/stassa/louise/blob/master/data/examples/a... >> Disclaimer: did my dissertation on ips (with genetic programming), but…

comment by YeGoblynQueenne · 2023-12-16 · in FunSearch: Making new discoveries in mathematical sciences using LLMs

https://github.com/stassa/louise

comment by Avshalom · 2023-02-15 · in Why dark matter feels like cheating (and why it isn’t)

Beware of the license - https://github.com/stassa/louise/blob/master/LICENSE.md

comment by cvalka · 2023-02-04 · in Scryer Prolog

…ALERT) the documentation of the MIL system I created for my doctoral thesis as a starting point: https://github.com/stassa/louise I recommend that as a starting point because it's written for people who are familiar with logic programming,…

comment by YeGoblynQueenne · 2023-02-04 · in Scryer Prolog

…thanks to its simplicity I could then get my ILP system, Louise, to learn it from a single example: https://github.com/stassa/louise/blob/master/data/examples/a... The is/2 version would be much harder to learn, because of the more complex…

comment by YeGoblynQueenne · 2023-01-01 · in Prolog at Work

…To plug my own work, the Inductive Logic Programming (ILP) system I developed during my PhD ( https://github.com/stassa/louise ) can learn left-recursive Prolog programs thanks to an inductive Prolog meta-interpreter executed with…

comment by YeGoblynQueenne · 2023-01-01 · in Prolog at Work

…an existing one with a tight generalise/specialise loop. Yes! I'm thinking of how to adapt Louise ( https://github.com/stassa/louise ) to do that. The fact that s(CASP) is basically a Prolog-y version of ASP (with constraints) could make…

comment by YeGoblynQueenne · 2022-12-20 · in Potassco: The Answer Set Solving Collection

…works just fine, but only in the symbolic machine learning paradigm. For example, see: https://github.com/stassa/louise#capabilities In particular the second example listed there. A trivial example, but one that cannot be reproduced by…

comment by YeGoblynQueenne · 2022-06-08 · in AI Is Ushering in a New Scientific Revolution

Note you can do machine learning of logic programs. My PhD research: https://github.com/stassa/louise In which case it _is_ machine learning and it still really works :D

comment by YeGoblynQueenne · 2022-05-25 · in Annotated implementation of microKanren: an embeddable logic language

…And whle we're at it, if you want to auto-write Prolog, use my own Louise: https://github.com/stassa/louise

comment by YeGoblynQueenne · 2021-09-10 · in A.I. can now write its own computer code – that’s good news for humans

…of our industry. Even in Star Trek they still have engineers who fix their computers... [1] - https://github.com/stassa/louise

comment by tylermauthe · 2021-08-19 · in How good is Codex?

…(Try to ignore the scary header) [2] Thelma: https://github.com/stassa/thelma [3] Louise: https://github.com/stassa/louise [4] Hexmil: https://arxiv.org/abs/1805.00068

comment by YeGoblynQueenne · 2021-06-03 · in William Byrd on logic and relational programming, miniKanren (2014)

…learning Prolog programs with Prolog see: 1. Metagol: https://github.com/metagol/metagol 2. Louise: https://github.com/stassa/louise 3. Popper: https://arxiv.org/abs/2005.02259 The first repo has a list of biblio right at the end, though…

comment by YeGoblynQueenne · 2021-04-20 · in Prolog for Beginners

…//en.wikipedia.org/wiki/Deep_Blue_versus_Garry_Kasparo... [4] https://en.wikipedia.org/wiki/Mycin [5] https://github.com/stassa/louise/

comment by YeGoblynQueenne · 2020-11-09 · in AI Expert Roadmap

…as json. I was looking for a way to automatically generate plots from a project written in Prolog ( https://github.com/stassa/louise ). Until now I was composing some R plotting scripts with Prolog, which can get a bit clunky. Swi-Prolog…

comment by YeGoblynQueenne · 2020-10-30 · in Vega-Lite: A Grammar of Interactive Graphics

…programs): https://github.com/metagol/metagol Louise (a polynomial-time version of Metagol): https://github.com/stassa/louise

comment by YeGoblynQueenne · 2019-08-04 · in Simple, pure, and total functional language that generalizes Datalog