bim.pl |
|---|
| bim_expansion/2 | goal_expansion rules to emulate YAP behaviour in SWI-Prolog. | |
| index/2 | Index in the given arguments. | |
| hprolog.pl -- hProlog compatibility library |
|---|
| ifprolog.pl -- IF/Prolog compatibility package |
|---|
| sicstus.pl -- SICStus 3 compatibility library |
|---|
| sicstus4.pl -- SICStus 4 compatibility library |
|---|
| nonmember/2 | True if Element doesn't unify with any element in List. | |
| rename_module/2 | True if RenamedSICStus4Module is the name that we use for the SICStus 4 native module SICStus4Module. | |
| tau.pl -- Enable Tau-Prolog dialect emulation |
|---|
| xsb.pl -- XSB Prolog compatibility layer |
|---|
| yap.pl -- YAP Compatibility module |
|---|
