Implementing Logic Programming