Issues

• Is (\+)/1 enough for executable specifications?

  eyereasoner/eyeprolog#120 · Filter by author Jean-Luc-Picard-2021 opened on Nov 3, 2026
  2

• Ambiguous case current_predicate/1

  eyereasoner/eyeprolog#115 · Filter by author UWN opened on Sep 14, 2026
  7

• Negative zero still there

  eyereasoner/eyeprolog#114 · Filter by author UWN opened on Sep 14, 2026
  4

• quads: sto needs more precision

  eyereasoner/eyeprolog#111 · Filter by author UWN opened on Sep 11, 2026
  12

• Syntax regression (?)

  eyereasoner/eyeprolog#85 · Filter by author UWN opened on Aug 28, 2026
  9

• read vs number_chars/2 inconsistency

  eyereasoner/eyeprolog#29 · Filter by author UWN opened on Aug 15, 2026
  11