Alpha icon indicating copy to clipboard operation
Alpha copied to clipboard
verified publisher icon alpha-asp

Rename NaiveGrounder to DefaultGrounder

Open AntoniusW opened this issue 8 years ago • 0 comments

The NaiveGrounder is now quite far away from implementing just a naive grounding procedure and it is used by default (with no real alternative at the moment). Therefore it is adequate to rename it to DefaultGrounder.

AntoniusW avatar Nov 22 '17 14:11 AntoniusW