GitHub repository: kyledewey/typed-prolog
Primary language: Prolog
Created: 2015-03-14T03:38:52Z
Description: A basic type system on top of Prolog, along with higher-order clauses.  Translates to normal Prolog.