Skip to content

Issues: tuProlog/2p-kt

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

63 Open 136 Closed
63 Open 136 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

No viable implementation for SolverFactory in JS (IllegalStateException) 1.0.4 bug Something isn't working js
#716 opened Sep 25, 2024 by Gilbocc
Solver flag "Track Variables" should default to ON instead of OFF
#578 opened Oct 13, 2023 by ldeluigi
Theory read issue in in :gui module, branch feature/web-gui
#508 opened May 28, 2023 by fmuratori
Tab renaming in :gui module, branch feature/web-gui
#507 opened May 28, 2023 by fmuratori
Change ClassicSolverFactory runtime libraries and :gui Application issue
#499 opened May 15, 2023 by fmuratori
Avoid singletons in OOP-lib module::oop-lib
#421 opened Nov 29, 2022 by gciatto
1 task
@gciatto
Slow tests
#402 opened Oct 12, 2022 by gciatto
5 tasks
Make object-ref terms part of core module::core
#345 opened Jul 6, 2022 by gciatto
Support construction and inspection of the proof tree feature request module::solve
#344 opened Jul 6, 2022 by gciatto
Support parsing of tags feature request module::parser-core
#343 opened Jul 6, 2022 by gciatto
Documentation of logic libraries in IDE feature request module::ide
#320 opened May 12, 2022 by gciatto IDE Maturity
Support customizable font size in whole IDE enhancement New feature or request feature request module::ide
#319 opened May 12, 2022 by gciatto IDE Maturity
Ctrl+D on REPL provokes exception bug Something isn't working module::repl
#318 opened May 12, 2022 by gciatto
ProbLog solvers, by default, behave like Prolog solvers
#315 opened May 12, 2022 by gciatto
Fix README.md
#314 opened May 12, 2022 by gciatto
Enhance design to support concurrency
#312 opened May 12, 2022 by gciatto
TermReader.readTerm closes the underlying stream bug Something isn't working module::parser-core
#311 opened May 12, 2022 by gciatto
Implement anti-unification
#310 opened May 12, 2022 by gciatto
Design and implement a Python wrapper/porting of 2P-Kt enhancement New feature or request feature request
#309 opened May 12, 2022 by gciatto
Expand term hierarchy module::core
#308 opened May 12, 2022 by gciatto
2 tasks
OO Constraints, see {new_}object(+Type, +Args, -Instance) module::oop-lib
#304 opened May 12, 2022 by gciatto
Test Prolog standard I/O predicates from IO-Lib module::io-lib
#303 opened May 12, 2022 by gciatto
Goals history in :ide with up/down keys module::ide
#302 opened May 12, 2022 by gciatto IDE Maturity
Implement tail recursion optimization for :solve-streams feature request module::solve-streams
#296 opened May 12, 2022 by gciatto
Support occur-check enable/disable via flags feature request module::solve
#293 opened May 12, 2022 by gciatto
ProTip! Find all open issues with in progress development work with linked:pr.