[ Reference Manual | Alphabetic Index ]

library(swi)

SWI-Prolog compatibility package

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
random(?, ?)
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
setup_call_cleanup(?, ?, ?)
No description available
sformat(?, ?)
No description available
sformat(?, ?, ?)
No description available
stream_property(?, ?)
No description available
string_concat(?, ?, ?)
No description available
string_to_atom(?, ?)
No description available
string_to_list(?, ?)
No description available
sub_string(?, ?, ?, ?, ?)
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, select / 3, set_stream / 2
reexport cio
reexport current_input / 1 from iso
reexport current_output / 1 from iso
reexport initialization / 1 from iso
reexport set_stream_position / 2 from iso
reexport set_input / 1 from iso
reexport set_output / 1 from iso
reexport set_stream_position / 2 from iso
reexport unify_with_occurs_check / 2 from iso
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 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 chtab(96, string_quote)
export chtab(34, list_quote)
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 2017-07-09 15:37