Abstract Machines for Logic Programs - Tech Sentiments