GitHub repository: larsrh/hornzie
Primary language: TypeScript
Created: 2020-02-15T11:36:47Z
Description: A small Horn clause resolver