YAP 7.1.0
Extended Abstract Machine