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

62 Open 134 Closed
62 Open 134 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

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
Knowledge representation / persistent, extensible, transient predicates enhancement New feature or request module::solve
#283 opened May 12, 2022 by gciatto
ProTip! Add no:assignee to see everything that’s not assigned.