Search results

Extensions

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In leonardoalt/SolPrologV2;

· cameel opened on Aug 16, 2020

Possible fresh variable name collisions

Status: Open.

#5 In leonardoalt/SolPrologV2;

· cameel opened on Aug 16, 2020

Getting more than one matching substitution

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In leonardoalt/SolPrologV2;

· cameel opened on Aug 16, 2020

Equality operator

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In leonardoalt/SolPrologV2;

· cameel opened on Aug 16, 2020

Storing substitutions in memory

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In leonardoalt/SolPrologV2;

· cameel opened on Aug 16, 2020

Unification between variables and predicates containing ignores

Status: Open.

#1 In leonardoalt/SolPrologV2;

· cameel opened on Aug 10, 2020