GitHub repository: xieyuheng/logic-db
Primary language: TypeScript
Description: Embedding a Prolog-like logic programming language in JavasScript and TypeScript.