IDNI/TML

Issues

• QUESTION: Will users of TML be allowed to make use of logical negation? (specifically Modus Tollens deduction)

  #31 opened 5 years ago by TeamSPoon
  1

• CLP _should_ be able to handle non ground number ranges

  #26 opened 5 years ago by TeamSPoon
  2

• UNSAT test becoming `unsat` too early?

  #29 opened 5 years ago by TeamSPoon
  1

• TODO: A TML example of self-reference be created

  #30 opened 5 years ago by TeamSPoon
  1

• TML will be a decidable language that holds unique characteristics to interpret and redefine itself

  #25 opened 5 years ago by TeamSPoon
  3

• QUESTION: Closed world Logic?

  #28 opened 5 years ago by TeamSPoon
  11

• Undecidability and multiplication are not intertwined.

  #32 opened 5 years ago by TeamSPoon
  1

• How can TML or datalog have partial evaluation?

  #33 opened 5 years ago by TeamSPoon
  0

• CLP Mapcoloring

  #27 opened 5 years ago by TeamSPoon
  1