A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
Primary LanguageProlog