library(swi)

SWI-Prolog compatibility package [more]

Predicates

=@=(?, ?)

No description available

?=(?, ?)

No description available

\=@=(?, ?)

No description available

between(?, ?, ?)

No description available

byte_count(?, ?)

No description available

character_count(?, ?)

No description available

convert_time(?, ?)

No description available

current_flag(?)

No description available

current_functor(?, ?)

No description available

current_predicate(?, ?)

No description available

current_signal(?, ?, ?)

No description available

cyclic_term(?)

No description available

flag(?, ?, ?)

No description available

forall(?, ?)

No description available

freeze(?, ?)

No description available

get_time(?)

No description available

get_time(?)

No description available

hash(?)

No description available

hash_term(?, ?)

No description available

ignore(?)

No description available

index(?)

No description available

line_count(?, ?)

No description available

max_list(?, ?)

No description available

merge_set(?, ?, ?)

No description available

min_list(?, ?)

No description available

module_property(?, ?)

No description available

numlist(?, ?, ?)

No description available

on_signal(?, ?, ?)

No description available

open_null_stream(?)

No description available

predicate_property(?, ?)

No description available

predsort(?, ?, ?)

No description available

rational(?, ?, ?)

No description available

rdiv(?, ?, ?)

No description available

seek(?, ?, ?, ?)

No description available

set_random(?)

No description available

set_stream(?, ?)

No description available

sformat(?, ?)

No description available

sformat(?, ?, ?)

No description available

stream_property(?, ?)

No description available

string_to_atom(?, ?)

No description available

string_to_list(?, ?)

No description available

sum_list(?, ?)

No description available

unifiable(?, ?, ?)

No description available

wait_for_input(?, ?, ?)

No description available

Reexports

reexport eclipse_language
except dynamic / 1, ensure_loaded / 1, set_stream / 2

reexport cio

reexport current_input / 1 from iso_light

reexport current_output / 1 from iso_light

reexport initialization / 1 from iso_light

reexport set_stream_position / 2 from iso_light

reexport set_input / 1 from iso_light

reexport set_output / 1 from iso_light

reexport set_stream_position / 2 from iso_light

reexport unify_with_occurs_check / 2 from iso_light

reexport multifile / 1 from quintus

reexport op(_, _, multifile) from quintus

reexport public / 1 from quintus

reexport op(_, _, public) from quintus

reexport macro(: / 2, _, [clause]) from quintus

reexport dynamic / 1 from quintus

reexport use_module / 2 from quintus

reexport ensure_loaded / 1 from quintus

reexport format

reexport setup_call_cleanup / 3 from prolog_extras

reexport select / 3 from lists

reexport apply / 2 from apply

Other Exports

export op(0, xfx, of)

export op(0, xfx, with)

export op(0, xfy, do)

export op(0, xfx, @)

export op(0, fx, -?->)

export op(0, fy, not)

export op(0, fy, spied)

export op(0, fx, delay)

export macro(with / 2, = / 2, [])

export macro(of / 2, = / 2, [])

export op(1150, fx, initialization)

export op(1150, fx, module_transparent)

export op(1150, fx, discontiguous)

export op(1150, fx, multifile)

export op(1150, fx, thread_local)

export op(1150, fx, volatile)

export op(954, xfy, \)

export op(600, xfy, :)

export op(500, yfx, xor)

export op(500, fx, ?)

export op(200, xfx, **)

export syntax_option(nested_comments)

export syntax_option(iso_escapes)

export syntax_option(iso_base_prefix)

export syntax_option(doubled_quote_is_quote)

export syntax_option(no_array_subscripts)

export syntax_option(bar_is_no_atom)

export syntax_option(no_attributes)

export syntax_option(no_curly_arguments)

export syntax_option(nl_in_quotes)

export op(700, xfx, [=@=, \=@=])

export op(400, xfx, rdiv)

Description

This library is incomplete, and intended to ease the task of porting SWI-Prolog programs to ECLiPSe Prolog, or to add modules written in SWI-Prolog to applications written in ECLiPSe.

It reuses parts of the C-Prolog, Quintus and Iso compatibility libraries.

The effect of the compatibility library is local to the module where it is loaded. For maximum compatibility, an SWI program should be wrapped in a separate module starting with a directive like

    :- module(mymodule, [], swi).

In this case, Eclipse-specific language constructs will not be available.

If the compatibility package is loaded into a normal Eclipse module, like

    :- module(mymixedmdule).
    :- use_module(library(swi)).

then SWI and Eclipse language features can be used together. However, ambiguities must be resolved explicitly and confusion may arise from the different meaning of quotes in Eclipse vs SWI-Prolog.

About