core.logic

make run non-lazy, add lazy-run variant

Details

  • Type: Enhancement Enhancement
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None
  • Approval:
    Ok

Description

The laziness of the run interface is not essential to core.logic's operation. lazy-sequences are used in core.logic simply as a way to get TCO like behavior / prevent stack overflow. run being non-lazy makes tabling goals only for the duration of a run much simpler to implement.

Activity

Hide
David Nolen added a comment -

Fixed by 1c9610ba6d51837b14854e015f5e7a1ce37e65a2

Show
David Nolen added a comment - Fixed by 1c9610ba6d51837b14854e015f5e7a1ce37e65a2

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: