GitHub repository: IgorErin/SpecialKanren
Primary language: Perl
Created: 2023-10-07T15:49:19Z
Description: An attempt to specialize relational programs by arguments with a finite domain.