GitHub repository: rdale/objective_prolog
Primary language: Objective-C
Description: A simple Prolog interpreter written in Objective-C