kyledewey / typed-prologLinks

A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
29Updated 7 years ago

Alternatives and similar repositories for typed-prolog

Users that are interested in typed-prolog are comparing it to the libraries listed below

Sorting: