tuProlog/2ppy

Prolog REPL (python -m tuprolog.repl.prolog): assert two facts and query parent(X, Y), which returns abe/homer and homer/bart

cd <host-path> && git log -1 --format=%H 2>/dev/null; ls -la; cat README.md | head -200
ls <host-path>; cat <host-path> | head -80; which python3 node npm uv pip3; python3 --version
cd <host-path> && (which uv mvn java || true); sudo apt-get update -qq >/dev/null 2>&1; sudo apt-get install -y -qq maven openjdk-17-jre-headless >/tmp/apt.log 2>&1; echo apt=$?; curl -LsSf https://astral.sh/uv/install.sh -o /tmp/uvinst.sh && sh /tmp/uvinst.sh >/tmp/uv.log 2>&1; echo uv=$?; ls ~/.local/bin | head; ls .github/workflows; cat .python-version
cd <host-path> && export PATH=$HOME/.local/bin:$PATH NODE_USE_ENV_PROXY=1 && uv sync >/tmp/sync.log 2>&1; echo sync=$?; tail -5 /tmp/sync.log; uv run poe fetch-jars >/tmp/jars.log 2>&1; echo jars=$?; tail -8 /tmp/jars.log; ls tuprolog/libs | head
cd <host-path> && export PATH=$HOME/.local/bin:$PATH && printf 'parent(abe, homer).\nparent(homer, bart).\n?- parent(X, Y).\n' | timeout 120 uv run python -m tuprolog.repl.prolog 2>&1 | tail -30; echo rc=$?
cd <host-path> && mkdir -p .coldpass && cat > .coldpass/probe.json <<'EOF'
{"kind":"cli","argv":["<host-path>","stdin":"parent(abe, homer).\nparent(homer, bart).\n?- parent(X, Y).\n:exit\n","env":{}}
EOF
cat > .coldpass/report.json <<'EOF'
{"outcome":"working","operation":"Prolog REPL (python -m tuprolog.repl.prolog): assert two facts and query parent(X, Y), which returns abe/homer and homer/bart","operation_scope":"Core Prolog solver via JPype/JVM with bundled jdk4py; no browser, credentials or network service needed","steps":["curl -LsSf https://astral.sh/uv/install.sh | sh (installed uv)","apt-get install -y maven openjdk-17-jre-headless (Maven required by README contributor section)","uv sync","uv run poe fetch-jars","uv run python -m tuprolog.repl.prolog (queried parent(X, Y) via stdin)"],"deviations":["README lists uv and Maven as requirements; uv was not present and was installed via astral.sh installer; Maven was installed via apt. Full test/static-check suites were intentionally not run."],"stuck_step":null,"main_blocker":null,"suggested_fix":null}
EOF
<env-var>=<host-path> python3 -I <host-path> --validate; echo rc=$?