Backend Prolog compiler requirements

Logtalk requires a backend Prolog compiler that supports both official and de facto Prolog standards. This means, support for the ISO Prolog Core standard plus the following de facto standard predicates:

  • predicate_property/2
  • setup_call_cleanup/3 (not user-definable in Prolog)
  • between/3
  • numbervars/3
  • format/2-3

The setup_call_cleanup/3 predicate is only required for systems providing a compatible threads implementation and for support of some tools features that require checking query determinism. In the second case, it can be replaced by the call_cleanup/2 predicate.

It is possible to hack around missing format/2-3 predicates but the workaround is partial and slow, although it would allow basic usage of Logtalk.

Logtalk coinduction features requires that the backend Prolog compiler supports cyclic terms and either the *->/2 soft-cut control construct or the if/3 soft-cut built-in predicate.

In addition, Logtalk requires basic access to the operating-system (either as Prolog built-in predicates or as library predicates) including:

  • expanding a relative path into an absolute path
  • converting between Prolog paths and operating-systems paths (if necessary)
  • file and directory existence testing
  • file modification time
  • file deleting
  • querying and changing the current working directory
  • directory creation
  • current date and time
  • accessing environment variable values

These operating-system access predicates are used in the Prolog compiler adapter file and in the portable operating-system library.

Convenient features include the de facto standard dialect and version_data flags, the findall/4 predicate, access via read_term/3 or stream_property/2 to a read term position (line numbers), and a term hash predicate.