[ 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

- Author: J Chamois
- Copyright © This file is in the public domain
- Date: $Date: 2017/09/03 13:23:23 $

## See Also

library(cio), library(cprolog), library(quintus), library(sicstus)

Generated from swi.eci on 2022-09-03 14:26