SWI-Prolog/roadmap

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

TeamSPoon opened this issue · 2 comments

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

A Tabling benchmark using: asserta vs recorda

TIME:9.638810966000001
TIME:13.412892943000001

@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?