| Did you know ... | Search Documentation: |
 | Title for pldoc(dir_index) |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
dialect
Prolog files
bim.pl | ||
|---|---|---|
| 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. | |
| xsb.pl -- XSB Prolog compatibility layer | ||
| yap.pl -- YAP Compatibility module | ||
| assert_static/1 | Assert as static predicate. | |
| depth_bound_call/2 | Equivalent to call_with_depth_limit(Goal, Limit, _Reached). | |
| exists/1 | Equivalent to exists_file(File). | |
| gc/0 | Garbage collect. | |
| source/0 | YAP directive to maintain source-information. | |
| system/1 | Equivalent to shell(Command). | |
| yap_expansion/2 | goal_expansion rules to emulate YAP behaviour in SWI-Prolog. | |
| yap_flag/2 | Map some YAP flags to SWI-Prolog. | |
| yap_style_check/1 | Map YAP style-check options onto the SWI-Prolog ones. | |