I was working on a TUI library for (SWI) Prolog on and off for a year without agentic LLMs.
More recently, after I had a performant prototype complete, I worked with Claude Code to refactor, add testing, benchmarking, documentation, and convenience features built on this foundation. (see this “LLM use” section of the README GitHub - z5h/prolog_tui · GitHub)
Installation:
?- pack_install(tui).
List examples:
swipl tui examples
Run a particular example:
swipl tui run gallery
There’s a basic text editor example (called atto) capable of editing one file:
swipl tui run atto — path/to/some_file.pl
Code is at GitHub - z5h/prolog_tui · GitHub
Care has been made to ensure tui is minimal, complete, stable and performant.
@jan:
swipl pack publish https://github.com/z5h/prolog_tui.git registered the pack, but reported Pack prolog_tui at version 0.1.0 failed for unknown reason (false).
The repo name (prolog_tui) differs from the pack name in pack.pl (tui). For a git URL, pack_default_options/4 takes the pack name from the URL (git_url(URL, Pack)). register_downloads/2 then looks for prolog_tui-Result in the server’s reply, which is keyed tui, so it reports failure although the server registered the pack.
The installation plan shows the same confusion: “Install prolog_tui at version 0.0.0”.
What’s the best course of action here?