All issues

Search results

Track unresolved bugs found during documentation pass

Status: Open.

#958 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Fix or remove shadowed Naf and Or primitives

Status: Open.

#957 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Implement cut semantics in the concurrent solver

Status: Open.

#956 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Implement or explicitly reject concurrent solver JS operations

Status: Open.

#955 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Set full fatJarEntryPoint to PrologCLI

Status: Open.

#954 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Fix SyntaxColoring.delay updates while active

Status: Open.

#953 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Replace the empty-query NotImplementedError in TuPrologSolveQuery

Status: Open.

#952 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Implement JS file loading for the REPL theory option

Status: Open.

#951 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Handle end_of_file in Read1 and Read2 per ISO

Status: Open.

#950 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Fix GetCode2 and PeekCode2 to validate argument 1

Status: Open.

#949 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Remove or use AbstractIterableItems.target

Status: Open.

#948 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026

Use the requested index in getArgumentAsTypeRef fallback

Status: Open.

#947 In tuProlog/2p-kt;

· gciatto opened on Sep 8, 2026