Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Refactoring Tools for SWI-Prolog
Ciao Assertion Reader for SWI-Prolog
Extended tools for Prolog
Run-Time Checking for Ciao and SWI-Prolog
Extended libraries for Prolog
Scripts to facilitate testing and development of the Prolog libraries published here.
Seeing something unexpected? Take a look at the
GitHub profile guide.