GitHub repository: Alexiush/LOGQ
Primary language: C#
Description: Logical programming tool that works similar to Prolog program. It's goal to simplify and extend prolog features and provide easy integration with mapping tool.