Implementations of Logic Programming Systems