core.logic

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

  None

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.

• Assignee:

  David Nolen

  Reporter:

  David Nolen

• Created:

  08/Jun/11 1:01 PM

  Updated:

  08/Jun/11 10:42 PM

  Resolved:

  08/Jun/11 10:42 PM