Implemented funtion create_lock and the predicate create_lock. Implemented auxiliar function exists_lock to check if a lock exists or not