roadmap icon indicating copy to clipboard operation
roadmap copied to clipboard

Published 20 hours ago • verified publisher icon SWI-Prolog

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

Open TeamSPoon opened this issue 9 years ago • 2 comments

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

TeamSPoon avatar Jan 16 '16 22:01 TeamSPoon

A Tabling benchmark using: asserta vs recorda

TIME:9.638810966000001 TIME:13.412892943000001

TeamSPoon avatar Jan 16 '16 22:01 TeamSPoon

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

wouterbeek avatar Mar 27 '16 09:03 wouterbeek