[ Reference Manual | Alphabetic Index ]

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

See Also

library(cio), library(cprolog), library(quintus), library(sicstus)
Generated from swi.eci on 2022-09-03 14:26