<< Back to previous view

[LOGIC-76] partial-maps break the transitivity of unification Created: 14/Dec/12  Updated: 28/Jul/13  Resolved: 28/Dec/12

Status: Closed
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: David Nolen Assignee: David Nolen
Resolution: Completed Votes: 0
Labels: None


partial-map should never unify with fresh vars - this should be a hard error. This means partial-map functionality needs to be accessible by some other means - probably a constraint - `featurec` might be a good name for it. This way partial-maps never leak into an actual program, and users don't try to make the concrete data structure participate in unification. At the same time this does allow extracting features of interest via unification once the term (map) being checked actually becomes ground.

Comment by David Nolen [ 28/Dec/12 12:42 AM ]

resolved in master, functionality now available via `featurec`

Generated at Mon Sep 25 06:41:35 CDT 2017 using JIRA 4.4#649-r158309.