avalog (cargo): An experimental implementation of Avatar Logic with a Prolog-like syntax
Keywords: advancedresearch|logic|solver|prolog|avatar