Essentials of Logic Programming