Issues

• Extensions

  enhancement
  leonardoalt/SolPrologV2#6 · Filter by author cameel opened on Aug 16, 2020

• Possible fresh variable name collisions

  leonardoalt/SolPrologV2#5 · Filter by author cameel opened on Aug 16, 2020

• Getting more than one matching substitution

  enhancement
  leonardoalt/SolPrologV2#4 · Filter by author cameel opened on Aug 16, 2020

• Equality operator

  enhancement
  leonardoalt/SolPrologV2#3 · Filter by author cameel opened on Aug 16, 2020

• Storing substitutions in memory

  enhancement
  leonardoalt/SolPrologV2#2 · Filter by author cameel opened on Aug 16, 2020
  2

• Unification between variables and predicates containing ignores

  leonardoalt/SolPrologV2#1 · Filter by author cameel opened on Aug 10, 2020