GitHub repository: mcsoto/LogicJS
Primary language: JavaScript
Description: Logic programming for JavaScript.