A Warren's Abstract Machine Implementation