swi-prolog (conda): SWI-Prolog Main development repository
Keywords: logic-programming|prolog|swi-prolog