recardona/UnityProlog
A mostly ISO-compliant Prolog interpreter for Unity3D
Modifications to the game The Elder Scrolls V: Skyrim, designed to be run as part of experiments on the effect of UI's on Problem-Solving Performance
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A mostly ISO-compliant Prolog interpreter for Unity3D
Object Oriented Prover for S5n
A Java-based meta-linguistic abstraction of the first-order predicate calculus.
Java API for Natural Language Generation