Added ability to stop execution of Prolog
Fixed: Some terms were not specifying their arity correctly