core.logic

add Prolog meta-logical predicates bagof, setof, findall

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Major Major
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

This can be done by annotating logic variables and embedding a run within a run by passing in the current substitution, running on it, and extracting out the reified values and unifying it back into the current substitution.

Activity

Aaron Brooks made changes -
Field Original Value New Value
Attachment 0001-LOGIC-68-Add-run-a-run-a-logic-functions-to-support-.patch [ 11683 ]

People

Vote (0)
Watch (1)

Dates

  • Created:
    Updated: