]> Repositorios git - scryer-prolog.git/commit
use ordsets in library(dif)
authorMark Thom <[email protected]>
Wed, 13 Mar 2019 01:13:03 +0000 (19:13 -0600)
committerMark Thom <[email protected]>
Wed, 13 Mar 2019 01:13:03 +0000 (19:13 -0600)
commitb5ad8051d83da8ac99be386a401187c151e4f56f
tree076e6011cece620f323879d60b8cff9f7d1b28b9
parent2af08b31d2d9dd7c0374ef075ef4e500d52a9c47
use ordsets in library(dif)
src/prolog/lib/dif.pl
src/prolog/machine/mod.rs