GitHub repository: sarvex/fsharp-logic
Primary language: F#
Description: A logic programming library for F#