PublicShow sourcequintus.pl -- Quintus compatibility

This module defines several predicates from the Quintus Prolog libraries. Note that our library structure is totally different. If this library were complete, Prolog code could be ported by removing the use_module/1 declarations, relying on the SWI-Prolog autoloader.

Bluffers guide to porting:

Of course, this library is incomplete ...

Source unix(+Action)
interface to Unix.
Source otherwise
For (A -> B ; otherwise -> C)
Source abs(+Number, -Absolute)
Unify `Absolute' with the absolute value of `Number'.
Source sin(+Angle, -Sine) is det
Source cos(+Angle, -Cosine) is det
Source tan(+Angle, -Tangent) is det
Source log(+X, -NatLog) is det
Source log10(+X, -Log) is det
Math library predicates. SWI-Prolog (and ISO) support these as functions under is/2, etc.
Source genarg(?Index, +Term, ?Arg) is nondet
Generalised version of ISO arg/3. SWI-Prolog's arg/3 is already genarg/3.
Source prolog_flag(?Flag, ?Value) is nondet
Same as ISO current_prolog_flag/2. Maps version.
bug
- Should map relevant Quintus flag identifiers.
Source date(-Date) is det
Get current date as date(Y,M,D)
Source no_style_check(Style) is det
Same as SWI-Prolog style_check(-Style). The Quintus option single_var is mapped to singleton.
See also
- style_check/1.
Source mode(+ModeDecl) is det
Ignore a DEC10/Quintus :- mode(Head) declaration. Typically these declarations are written in operator form. The operator declaration is not part of the Quintus emulation library. The following declaration is compatible with Quintus:
:- op(1150, fx, [(mode)]).
Source simple(@Term) is semidet
Term is atomic or a variable.
Source current_stream(?Object, ?Mode, ?Stream)
SICStus/Quintus and backward compatible predicate. New code should be using the ISO compatible stream_property/2.
Source stream_position(+Stream, -Old, +New)
True when Old is the current position in Stream and the stream has been repositioned to New.
deprecated
- New code should use the ISO predicates stream_property/2 and set_stream_position/2.
Source skip_line is det
Source skip_line(Stream) is det
Skip the rest of the current line (on Stream). Same as skip(0'\n).
Source compile(+Files) is det
Compile files. SWI-Prolog doesn't distinguish between compilation and consult.
See also
- load_files/2.
Source atom_char(+Char, -Code) is det
atom_char(-Char, +Code) is det
Same as ISO char_code/2.
Source midstring(?ABC, ?B, ?AC) is nondet
Source midstring(?ABC, ?B, ?AC, LenA) is nondet
Source midstring(?ABC, ?B, ?AC, LenA, LenB) is nondet
Source midstring(?ABC, ?B, ?AC, LenA, LenB, LenC) is nondet
Too difficult to explain. See the Quintus docs. As far as I understand them the code below emulates this function just fine.
Source raise_exception(+Term)
Quintus compatible exception handling
Source on_exception(+Template, :Goal, :Recover)
Source sin(+Angle, -Sine) is det
Source cos(+Angle, -Cosine) is det
Source tan(+Angle, -Tangent) is det
Source log(+X, -NatLog) is det
Source log10(+X, -Log) is det
Math library predicates. SWI-Prolog (and ISO) support these as functions under is/2, etc.
Source sin(+Angle, -Sine) is det
Source cos(+Angle, -Cosine) is det
Source tan(+Angle, -Tangent) is det
Source log(+X, -NatLog) is det
Source log10(+X, -Log) is det
Math library predicates. SWI-Prolog (and ISO) support these as functions under is/2, etc.
Source sin(+Angle, -Sine) is det
Source cos(+Angle, -Cosine) is det
Source tan(+Angle, -Tangent) is det
Source log(+X, -NatLog) is det
Source log10(+X, -Log) is det
Math library predicates. SWI-Prolog (and ISO) support these as functions under is/2, etc.
Source sin(+Angle, -Sine) is det
Source cos(+Angle, -Cosine) is det
Source tan(+Angle, -Tangent) is det
Source log(+X, -NatLog) is det
Source log10(+X, -Log) is det
Math library predicates. SWI-Prolog (and ISO) support these as functions under is/2, etc.
Source skip_line is det
Source skip_line(Stream) is det
Skip the rest of the current line (on Stream). Same as skip(0'\n).
Source midstring(?ABC, ?B, ?AC) is nondet
Source midstring(?ABC, ?B, ?AC, LenA) is nondet
Source midstring(?ABC, ?B, ?AC, LenA, LenB) is nondet
Source midstring(?ABC, ?B, ?AC, LenA, LenB, LenC) is nondet
Too difficult to explain. See the Quintus docs. As far as I understand them the code below emulates this function just fine.
Source midstring(?ABC, ?B, ?AC) is nondet
Source midstring(?ABC, ?B, ?AC, LenA) is nondet
Source midstring(?ABC, ?B, ?AC, LenA, LenB) is nondet
Source midstring(?ABC, ?B, ?AC, LenA, LenB, LenC) is nondet
Too difficult to explain. See the Quintus docs. As far as I understand them the code below emulates this function just fine.
Source midstring(?ABC, ?B, ?AC) is nondet
Source midstring(?ABC, ?B, ?AC, LenA) is nondet
Source midstring(?ABC, ?B, ?AC, LenA, LenB) is nondet
Source midstring(?ABC, ?B, ?AC, LenA, LenB, LenC) is nondet
Too difficult to explain. See the Quintus docs. As far as I understand them the code below emulates this function just fine.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

Source acos(Arg1, Arg2)
Source pow(Arg1, Arg2, Arg3)
Source sqrt(Arg1, Arg2)
Source asin(Arg1, Arg2)
Source ceiling(Arg1, Arg2)
Source atan2(Arg1, Arg2, Arg3)
Source atan(Arg1, Arg2)
Source floor(Arg1, Arg2)
Source sign(Arg1, Arg2)
Source round(Arg1, Arg2)