Cyclic terms to be allowed in asserta database (Since they are allowed in the recorda database)

SWI-Prolog / roadmap

Discuss future development

21 stars 3 forks source link

Cyclic terms to be allowed in asserta database (Since they are allowed in the recorda database) #45

Open TeamSPoon opened 8 years ago

TeamSPoon commented 8 years ago

Cyclic terms to be allowed in asserta database (Since they are allowed in the recorda database)

TeamSPoon commented 8 years ago

A Tabling benchmark using: asserta vs recorda

TIME:9.638810966000001 TIME:13.412892943000001

wouterbeek commented 8 years ago

@logicmoo Is this something for the roadmap or is this simply a feature request / bug report? I.e., why can cyclic term support not be added to asserta/1 right away?