Prolog binary search tree implementation is finally working...just had to capitalize variable names.