GitHub repository: urvishjarvis1/unificationalgorithm
Primary language: Java
Created: 2020-02-02T00:36:18Z
Description: The Prolog Unification algorithm