This module provides compatibility to LPS through the directive
expects_dialect/1:
:- expects_dialect(lps)
- author
- - Douglas R. Miles
- To be done
- - this module meeds
- Implement system predicates available in LPS we do not yet or
do not wish to support in SWI-Prolog. Export these predicates.
- Provide lps_<name>(...) predicates for predicates that exist
both in LPS and SWI-Prolog and define goal_expansion/2 rules to
map calls to these predicates to the lps_<name> version.
Export these predicates.
- Alter the library search path, placing dialect/lps before
the system libraries.
- Allow for
.lps
extension as extension for Prolog files.
If both a .pl
and .lps
is present, the .lps
file
is loaded if the current environment expects LPS.
- - The dialect-compatibility packages are developed in a
`demand-driven' fashion. Please contribute to this package. Fill it in!
- lps_dialect_expansion(+In, +Out)[multifile]
- goal_expansion rules to emulate LPS behaviour in SWI-Prolog. The
expansions below maintain optimization from compilation.
Defining them as predicates would loose compilation.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- pop_lps_dialect
- push_lps_dialect
- dialect_input_stream(Arg1)
- calc_load_module_lps(Arg1)