SWI-Prolog / packages-chr
CHR: Leuven Constraint Handling Rules
See what the GitHub community is most excited about today.
CHR: Leuven Constraint Handling Rules
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
The SWI-Prolog RDF store
The SWI-Prolog HTTP server and client libraries