Dépôts open source suivis de potassco, triés par étoiles.
Un grounder et solveur pour les programmes logiques.
