Advanced Logic Programming Language: Volume 1 Prolog-2 - User Guide