LogicJS. Logic programming for JavaScript.
cosmos. A new logic programming language.
cosmos-lang. Website for the Cosmos programming language.
