quintus.pl -- Quintus compatibilityquintus.pl -- Quintus compatibilityThis 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:
use_module(library(...))?- list_undefined.Of course, this library is incomplete ...
unix(+Action) otherwise abs(+Number, -Absolute) sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det genarg(?Index, +Term, ?Arg) is nondet prolog_flag(?Flag, ?Value) is nondetversion.
date(-Date) is detdate(Y,M,D) no_style_check(Style) is detstyle_check(-Style). The Quintus option
single_var is mapped to singleton.
mode(+ModeDecl) is det:- 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)]).
simple(@Term) is semidet current_stream(?Object, ?Mode, ?Stream) stream_position(+Stream, -Old, +New) skip_line is det skip_line(Stream) is detskip(0'\n). compile(+Files) is det atom_char(+Char, -Code) is det midstring(?ABC, ?B, ?AC) is nondet midstring(?ABC, ?B, ?AC, LenA) is nondet midstring(?ABC, ?B, ?AC, LenA, LenB) is nondet midstring(?ABC, ?B, ?AC, LenA, LenB, LenC) is nondet raise_exception(+Term) on_exception(+Template, :Goal, :Recover) sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det sin(+Angle, -Sine) is det cos(+Angle, -Cosine) is det tan(+Angle, -Tangent) is det log(+X, -NatLog) is det log10(+X, -Log) is det pow(+X, +Y, -Pow) is det ceiling(+X, -Value) is det floor(+X, -Value) is det round(+X, -Value) is det sqrt(+X, -Value) is det acos(+X, -Value) is det asin(+X, -Value) is det atan(+X, -Value) is det atan2(+Y, +X, -Value) is det sign(+X, -Value) is det skip_line is det skip_line(Stream) is detskip(0'\n). midstring(?ABC, ?B, ?AC) is nondet midstring(?ABC, ?B, ?AC, LenA) is nondet midstring(?ABC, ?B, ?AC, LenA, LenB) is nondet midstring(?ABC, ?B, ?AC, LenA, LenB, LenC) is nondet midstring(?ABC, ?B, ?AC) is nondet midstring(?ABC, ?B, ?AC, LenA) is nondet midstring(?ABC, ?B, ?AC, LenA, LenB) is nondet midstring(?ABC, ?B, ?AC, LenA, LenB, LenC) is nondet midstring(?ABC, ?B, ?AC) is nondet midstring(?ABC, ?B, ?AC, LenA) is nondet midstring(?ABC, ?B, ?AC, LenA, LenB) is nondet midstring(?ABC, ?B, ?AC, LenA, LenB, LenC) is nondet