Skip to content

Prioritized labels

Drag to reorder prioritized labels and change their relative priority.

Other labels

  • module::parser-theory
    PIKA-lab / tuProlog / 2P-Kt
  • module::repl
    PIKA-lab / tuProlog / 2P-Kt
  • module::solve
    PIKA-lab / tuProlog / 2P-Kt
  • module::solve-classic
    PIKA-lab / tuProlog / 2P-Kt
    Related to solve-classic module
  • module::solve-streams
    PIKA-lab / tuProlog / 2P-Kt
    Related to solve-streams module
  • module::test-solve
    PIKA-lab / tuProlog / 2P-Kt
  • module::theory
    PIKA-lab / tuProlog / 2P-Kt
  • module::unify
    PIKA-lab / tuProlog / 2P-Kt
  • specification
    PIKA-lab / tuProlog / 2P-Kt
  • suggestion
    PIKA-lab / tuProlog / 2P-Kt
  • support
    PIKA-lab / tuProlog / 2P-Kt
  • testing
    PIKA-lab / tuProlog / 2P-Kt
  • wrong-test
    PIKA-lab / tuProlog / 2P-Kt