Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution