Did you know ... Search Documentation:
Pack lps_corner -- prolog/dialect/lps.pl
PublicShow source

This module provides compatibility to LPS through the directive expects_dialect/1:

:- expects_dialect(lps)
- 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.