support for defaults in the simple unifier

Description

There should be a way to specify a logic var with default values. If it is not unified with something it should unify with the default provided value.

Environment

None

Activity

Show:

Details

Assignee

Reporter

Priority

Created November 19, 2012 at 9:19 PM
Updated March 18, 2013 at 12:49 AM

Flag notifications