FIX: Some bugs fixed.

PrologList unification partialy working.