add first prolog program to demo "unification"