Add unify_with_occurs_check

kyledewey / typed-prolog

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

27 stars 1 forks source link

Closed kyledewey closed 8 years ago

kyledewey commented 8 years ago

unify_with_occurs_check/2 should be added to the built-in clauses.

kyledewey commented 8 years ago

Added with commit a50b2b4b5b9e02aaf44508719c4b77f3d80246f7.