tomabd.misc.unify_goal_rule Class Reference

Detailed Description

Unify the grounded variables in the goal with the free variables in the rule.

Usage:

tomabd.misc.unify_goal_rule(a(b), {a(X) :- c(X) & d(Y)}, R): R unifies with {a(b) :- c(b) & d(Y)}.