Title: An Advanced Logic Programming Language