Verify_attributes in SICStus Prolog

2021-01-14 02:57发布