prolog::avl_insert/4

avl_insert(+ Key,? Value,+ T0,- TF)*

Add an element with key Key and Value to the AVL tree T0 creating a new AVL tree TF. Duplicated elements are allowed.

Private-func:

1. prolog::avl_insert_4::avl_insert/4(int ARG1, int ARG2, int ARG3, int ARG4)():