Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
This commit is contained in:
commit
a735297eb2
22
C/iopreds.c
22
C/iopreds.c
@ -3489,9 +3489,17 @@ CheckStream (Term arg, int kind, char *msg)
|
|||||||
sname = AtomUserOut;
|
sname = AtomUserOut;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
if (kind & SWI_Stream_f) {
|
||||||
|
struct io_stream *swi_stream;
|
||||||
|
|
||||||
|
if (Yap_get_stream_handle(arg, &swi_stream)) {
|
||||||
|
sno = LookupSWIStream(swi_stream);
|
||||||
|
return sno;
|
||||||
|
}
|
||||||
|
}
|
||||||
if ((sno = CheckAlias(sname)) == -1) {
|
if ((sno = CheckAlias(sname)) == -1) {
|
||||||
Yap_Error(EXISTENCE_ERROR_STREAM, arg, msg);
|
Yap_Error(EXISTENCE_ERROR_STREAM, arg, msg);
|
||||||
return(-1);
|
return -1;
|
||||||
}
|
}
|
||||||
} else if (IsApplTerm (arg) && FunctorOfTerm (arg) == FunctorStream) {
|
} else if (IsApplTerm (arg) && FunctorOfTerm (arg) == FunctorStream) {
|
||||||
arg = ArgOfTerm (1, arg);
|
arg = ArgOfTerm (1, arg);
|
||||||
@ -4089,7 +4097,15 @@ static Int
|
|||||||
p_write2_prio (void)
|
p_write2_prio (void)
|
||||||
{ /* '$write'(+Stream,+Flags,?Term) */
|
{ /* '$write'(+Stream,+Flags,?Term) */
|
||||||
int old_output_stream = Yap_c_output_stream;
|
int old_output_stream = Yap_c_output_stream;
|
||||||
Yap_c_output_stream = CheckStream (ARG1, Output_Stream_f, "write/2");
|
Int flags = IntegerOfTerm(Deref(ARG2));
|
||||||
|
int stream_f;
|
||||||
|
|
||||||
|
if (flags & Use_SWI_Stream_f) {
|
||||||
|
stream_f = Output_Stream_f|SWI_Stream_f;
|
||||||
|
} else {
|
||||||
|
stream_f = Output_Stream_f;
|
||||||
|
}
|
||||||
|
Yap_c_output_stream = CheckStream (ARG1, stream_f, "write/2");
|
||||||
if (Yap_c_output_stream == -1) {
|
if (Yap_c_output_stream == -1) {
|
||||||
Yap_c_output_stream = old_output_stream;
|
Yap_c_output_stream = old_output_stream;
|
||||||
return(FALSE);
|
return(FALSE);
|
||||||
@ -4098,7 +4114,7 @@ p_write2_prio (void)
|
|||||||
/* notice: we must have ASP well set when using portray, otherwise
|
/* notice: we must have ASP well set when using portray, otherwise
|
||||||
we cannot make recursive Prolog calls */
|
we cannot make recursive Prolog calls */
|
||||||
Yap_StartSlots();
|
Yap_StartSlots();
|
||||||
Yap_plwrite (ARG4, Stream[Yap_c_output_stream].stream_wputc, (int) IntOfTerm (Deref (ARG2)), (int) IntOfTerm (Deref (ARG3)));
|
Yap_plwrite (ARG4, Stream[Yap_c_output_stream].stream_wputc, (int) flags, (int) IntOfTerm (Deref (ARG3)));
|
||||||
Yap_CloseSlots();
|
Yap_CloseSlots();
|
||||||
Yap_c_output_stream = old_output_stream;
|
Yap_c_output_stream = old_output_stream;
|
||||||
if (EX != 0L) {
|
if (EX != 0L) {
|
||||||
|
@ -28,6 +28,7 @@ typedef int (*SWI_PutWideFunction)(int, void *);
|
|||||||
typedef int (*SWI_GetWideFunction)(void *);
|
typedef int (*SWI_GetWideFunction)(void *);
|
||||||
typedef int (*SWI_CloseFunction)(void *);
|
typedef int (*SWI_CloseFunction)(void *);
|
||||||
typedef int (*SWI_FlushFunction)(void *);
|
typedef int (*SWI_FlushFunction)(void *);
|
||||||
|
typedef int (*SWI_PLGetStreamFunction)(void *);
|
||||||
|
|
||||||
#include "../include/dswiatoms.h"
|
#include "../include/dswiatoms.h"
|
||||||
|
|
||||||
|
@ -461,6 +461,7 @@ void STD_PROTO(Yap_InitMYDDAS_TopLevelPreds,(void));
|
|||||||
/* yap2swi.c */
|
/* yap2swi.c */
|
||||||
void STD_PROTO(Yap_swi_install,(void));
|
void STD_PROTO(Yap_swi_install,(void));
|
||||||
void STD_PROTO(Yap_InitSWIHash,(void));
|
void STD_PROTO(Yap_InitSWIHash,(void));
|
||||||
|
int STD_PROTO(Yap_get_stream_handle,(Term, void *));
|
||||||
|
|
||||||
/* ypsocks.c */
|
/* ypsocks.c */
|
||||||
void STD_PROTO(Yap_InitSockets,(void));
|
void STD_PROTO(Yap_InitSockets,(void));
|
||||||
|
@ -187,6 +187,7 @@
|
|||||||
#define SWIWidePutc Yap_global->swi_wputc
|
#define SWIWidePutc Yap_global->swi_wputc
|
||||||
#define SWIClose Yap_global->swi_close
|
#define SWIClose Yap_global->swi_close
|
||||||
#define SWIFlush Yap_global->swi_flush
|
#define SWIFlush Yap_global->swi_flush
|
||||||
|
#define SWIGetStream Yap_global->swi_get_stream_f
|
||||||
|
|
||||||
#define Yap_AllowLocalExpansion Yap_global->allow_local_expansion
|
#define Yap_AllowLocalExpansion Yap_global->allow_local_expansion
|
||||||
#define Yap_AllowGlobalExpansion Yap_global->allow_global_expansion
|
#define Yap_AllowGlobalExpansion Yap_global->allow_global_expansion
|
||||||
|
@ -189,6 +189,7 @@ typedef struct worker_shared {
|
|||||||
SWI_PutWideFunction swi_wputc;
|
SWI_PutWideFunction swi_wputc;
|
||||||
SWI_CloseFunction swi_close;
|
SWI_CloseFunction swi_close;
|
||||||
SWI_FlushFunction swi_flush;
|
SWI_FlushFunction swi_flush;
|
||||||
|
SWI_PLGetStreamFunction swi_get_stream_f;
|
||||||
|
|
||||||
int allow_local_expansion;
|
int allow_local_expansion;
|
||||||
int allow_global_expansion;
|
int allow_global_expansion;
|
||||||
|
@ -187,6 +187,7 @@ static void InitGlobal(void) {
|
|||||||
Yap_global->swi_wputc = NULL;
|
Yap_global->swi_wputc = NULL;
|
||||||
Yap_global->swi_close = NULL;
|
Yap_global->swi_close = NULL;
|
||||||
Yap_global->swi_flush = NULL;
|
Yap_global->swi_flush = NULL;
|
||||||
|
Yap_global->swi_get_stream_f = NULL;
|
||||||
|
|
||||||
Yap_global->allow_local_expansion = TRUE;
|
Yap_global->allow_local_expansion = TRUE;
|
||||||
Yap_global->allow_global_expansion = TRUE;
|
Yap_global->allow_global_expansion = TRUE;
|
||||||
|
@ -198,6 +198,7 @@ static void RestoreGlobal(void) {
|
|||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
#if HAVE_LIBREADLINE
|
#if HAVE_LIBREADLINE
|
||||||
|
|
||||||
|
|
||||||
|
13
H/yapio.h
13
H/yapio.h
@ -334,12 +334,13 @@ Atom STD_PROTO(Yap_LookupWideAtom,(wchar_t *));
|
|||||||
#define YAP_SEEKABLE_STREAM 0x80
|
#define YAP_SEEKABLE_STREAM 0x80
|
||||||
|
|
||||||
|
|
||||||
#define Quote_illegal_f 1
|
#define Quote_illegal_f 0x01
|
||||||
#define Ignore_ops_f 2
|
#define Ignore_ops_f 0x02
|
||||||
#define Handle_vars_f 4
|
#define Handle_vars_f 0x04
|
||||||
#define Use_portray_f 8
|
#define Use_portray_f 0x08
|
||||||
#define To_heap_f 16
|
#define To_heap_f 0x10
|
||||||
#define Unfold_cyclics_f 32
|
#define Unfold_cyclics_f 0x20
|
||||||
|
#define Use_SWI_Stream_f 0x40
|
||||||
|
|
||||||
/* write.c */
|
/* write.c */
|
||||||
void STD_PROTO(Yap_plwrite,(Term,int (*)(int, wchar_t), int, int));
|
void STD_PROTO(Yap_plwrite,(Term,int (*)(int, wchar_t), int, int));
|
||||||
|
@ -698,6 +698,7 @@ typedef struct SWI_IO {
|
|||||||
void *put_w;
|
void *put_w;
|
||||||
void *flush_s;
|
void *flush_s;
|
||||||
void *close_s;
|
void *close_s;
|
||||||
|
void *get_stream_handle;
|
||||||
} swi_io_struct;
|
} swi_io_struct;
|
||||||
|
|
||||||
/* SWI stream info */
|
/* SWI stream info */
|
||||||
|
@ -227,6 +227,18 @@ goal_expansion('$mark_executable'(A), system:'swi_is_absolute_file_name'(A)) :-
|
|||||||
goal_expansion('$absolute_file_name'(A,B),system:'swi_$absolute_file_name'(A,B)) :- swi_io.
|
goal_expansion('$absolute_file_name'(A,B),system:'swi_$absolute_file_name'(A,B)) :- swi_io.
|
||||||
goal_expansion(nl(A),system:swi_nl(A)) :- swi_io.
|
goal_expansion(nl(A),system:swi_nl(A)) :- swi_io.
|
||||||
goal_expansion(nl,system:swi_nl) :- swi_io.
|
goal_expansion(nl,system:swi_nl) :- swi_io.
|
||||||
|
goal_expansion(write(A),write_term(user_output,A,[swi(true)])) :- swi_io.
|
||||||
|
goal_expansion(write(S,A),write_term(S,A,[swi(true)])) :- swi_io.
|
||||||
|
goal_expansion(writeq(A),write_term(user_output,A,[swi(true),quoted(true)])) :- swi_io.
|
||||||
|
goal_expansion(writeq(S,A),write_term(S,A,[swi(true),quoted(true)])) :- swi_io.
|
||||||
|
goal_expansion(display(A),write_term(user_output,A,[swi(true),ignore_ops(true)])) :- swi_io.
|
||||||
|
goal_expansion(display(S,A),write_term(S,A,[swi(true),ignore_ops(true),quoted(true)])) :- swi_io.
|
||||||
|
goal_expansion(write_canonical(A),write_term(user_output,A,[swi(true),ignore_ops(true),quoted(true)])) :- swi_io.
|
||||||
|
goal_expansion(write_canonical(S,A),write_term(S,A,[swi(true),ignore_ops(true)])) :- swi_io.
|
||||||
|
goal_expansion(print(A),write_term(user_output,A,[swi(true),portray(true),numbervars(true)])) :- swi_io.
|
||||||
|
goal_expansion(print(S,A),write_term(S,A,[swi(true),portray(true),numbervars(true)])) :- swi_io.
|
||||||
|
goal_expansion(write_term(A,Opts),write_term(user_output,A,Opts,[swi(true)|Opts])) :- swi_io.
|
||||||
|
goal_expansion(write_term(S,A,Opts),write_term(S,A,[swi(true)|Opts])) :- swi_io, \+ member(swi(_), Opts).
|
||||||
|
|
||||||
|
|
||||||
% make sure we also use
|
% make sure we also use
|
||||||
|
@ -3103,6 +3103,16 @@ PL_YAP_InitSWIIO(struct SWI_IO *swio)
|
|||||||
SWIWidePutc = swio->put_w;
|
SWIWidePutc = swio->put_w;
|
||||||
SWIFlush = swio->flush_s;
|
SWIFlush = swio->flush_s;
|
||||||
SWIClose = swio->close_s;
|
SWIClose = swio->close_s;
|
||||||
|
SWIGetStream = swio->get_stream_handle;
|
||||||
|
}
|
||||||
|
|
||||||
|
typedef int (*GetStreamF)(term_t, IOSTREAM **s);
|
||||||
|
|
||||||
|
int
|
||||||
|
Yap_get_stream_handle(Term t0, void *s){
|
||||||
|
term_t t = (term_t)YAP_InitSlot(t0);
|
||||||
|
GetStreamF f = (GetStreamF)SWIGetStream;
|
||||||
|
return (*f)(t,s);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@ -210,6 +210,7 @@ SWI_GetWideFunction swi_wgetc SWIWideGetc =NULL
|
|||||||
SWI_PutWideFunction swi_wputc SWIWidePutc =NULL
|
SWI_PutWideFunction swi_wputc SWIWidePutc =NULL
|
||||||
SWI_CloseFunction swi_close SWIClose =NULL
|
SWI_CloseFunction swi_close SWIClose =NULL
|
||||||
SWI_FlushFunction swi_flush SWIFlush =NULL
|
SWI_FlushFunction swi_flush SWIFlush =NULL
|
||||||
|
SWI_PLGetStreamFunction swi_get_stream_f SWIGetStream =NULL
|
||||||
|
|
||||||
// stack overflow expansion/gc control
|
// stack overflow expansion/gc control
|
||||||
int allow_local_expansion Yap_AllowLocalExpansion =TRUE
|
int allow_local_expansion Yap_AllowLocalExpansion =TRUE
|
||||||
|
@ -509,14 +509,13 @@ noent:
|
|||||||
#define get_stream_handle(t, sp, flags) \
|
#define get_stream_handle(t, sp, flags) \
|
||||||
get_stream_handle__LD(t, sp, flags PASS_LD)
|
get_stream_handle__LD(t, sp, flags PASS_LD)
|
||||||
|
|
||||||
int
|
X_API int
|
||||||
PL_get_stream_handle(term_t t, IOSTREAM **s)
|
PL_get_stream_handle(term_t t, IOSTREAM **s)
|
||||||
{ GET_LD
|
{ GET_LD
|
||||||
return get_stream_handle(t, s, SH_ERRORS|SH_ALIAS);
|
return get_stream_handle(t, s, SH_ERRORS|SH_ALIAS);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
X_API int
|
||||||
int
|
|
||||||
PL_unify_stream_or_alias(term_t t, IOSTREAM *s)
|
PL_unify_stream_or_alias(term_t t, IOSTREAM *s)
|
||||||
{ GET_LD
|
{ GET_LD
|
||||||
int rval;
|
int rval;
|
||||||
@ -4308,7 +4307,8 @@ BeginPredDefs(file)
|
|||||||
EndPredDefs
|
EndPredDefs
|
||||||
|
|
||||||
#if __YAP_PROLOG__
|
#if __YAP_PROLOG__
|
||||||
static pl_Sgetc(IOSTREAM *s)
|
static int
|
||||||
|
pl_Sgetc(IOSTREAM *s)
|
||||||
{
|
{
|
||||||
return Sgetc(s);
|
return Sgetc(s);
|
||||||
}
|
}
|
||||||
@ -4328,7 +4328,7 @@ pl_nl1(term_t stream)
|
|||||||
}
|
}
|
||||||
|
|
||||||
static word
|
static word
|
||||||
pl_nl()
|
pl_nl(void)
|
||||||
{ return pl_nl1(0);
|
{ return pl_nl1(0);
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -4339,6 +4339,13 @@ static const PL_extension foreigns[] = {
|
|||||||
FRG((char *)NULL, 0, NULL, 0)
|
FRG((char *)NULL, 0, NULL, 0)
|
||||||
};
|
};
|
||||||
|
|
||||||
|
static int
|
||||||
|
get_stream_handle_no_errors(term_t t, IOSTREAM **s)
|
||||||
|
{ GET_LD
|
||||||
|
return get_stream_handle(t, s, SH_ALIAS);
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
static void
|
static void
|
||||||
init_yap_extras(void)
|
init_yap_extras(void)
|
||||||
{
|
{
|
||||||
@ -4351,6 +4358,7 @@ init_yap_extras(void)
|
|||||||
swiio.put_w = Sputcode;
|
swiio.put_w = Sputcode;
|
||||||
swiio.flush_s = Sflush;
|
swiio.flush_s = Sflush;
|
||||||
swiio.close_s = Sclose;
|
swiio.close_s = Sclose;
|
||||||
|
swiio.get_stream_handle = get_stream_handle_no_errors;
|
||||||
PL_YAP_InitSWIIO(&swiio);
|
PL_YAP_InitSWIIO(&swiio);
|
||||||
initCharTypes();
|
initCharTypes();
|
||||||
initFiles();
|
initFiles();
|
||||||
|
139
pl/yio.yap
139
pl/yio.yap
@ -29,13 +29,6 @@ open(File0,Mode,Stream) :-
|
|||||||
'$expand_filename'(Expansion, File0, File),
|
'$expand_filename'(Expansion, File0, File),
|
||||||
'$open'(File, Mode, Stream, 16, Encoding, File0).
|
'$open'(File, Mode, Stream, 16, Encoding, File0).
|
||||||
|
|
||||||
/* meaning of flags for '$write' is
|
|
||||||
1 quote illegal atoms
|
|
||||||
2 ignore operator declarations
|
|
||||||
4 output '$VAR'(N) terms as A, B, C, ...
|
|
||||||
8 use portray(_)
|
|
||||||
*/
|
|
||||||
|
|
||||||
close(V) :- var(V), !,
|
close(V) :- var(V), !,
|
||||||
'$do_error'(instantiation_error,close(V)).
|
'$do_error'(instantiation_error,close(V)).
|
||||||
close(File) :-
|
close(File) :-
|
||||||
@ -229,21 +222,23 @@ open(F,T,S,Opts) :-
|
|||||||
'$check_opt_write'(attributes(T), G) :- !,
|
'$check_opt_write'(attributes(T), G) :- !,
|
||||||
'$check_write_attributes'(T, G).
|
'$check_write_attributes'(T, G).
|
||||||
'$check_opt_write'(cycles(T), G) :- !,
|
'$check_opt_write'(cycles(T), G) :- !,
|
||||||
'$check_cycles_arg'(T, G).
|
'$check_boolean'(T, write_option, cycles(T), G).
|
||||||
'$check_opt_write'(quoted(T), G) :- !,
|
'$check_opt_write'(quoted(T), G) :- !,
|
||||||
'$check_write_quoted_arg'(T, G).
|
'$check_boolean'(T, write_option, quoted(T), G).
|
||||||
'$check_opt_write'(ignore_ops(T), G) :- !,
|
'$check_opt_write'(ignore_ops(T), G) :- !,
|
||||||
'$check_write_ignore_ops_arg'(T, G).
|
'$check_boolean'(T, write_option, ignore_ops(T), G).
|
||||||
'$check_opt_write'(numbervars(T), G) :- !,
|
|
||||||
'$check_write_numbervars_arg'(T, G).
|
|
||||||
'$check_opt_write'(portrayed(T), G) :- !,
|
|
||||||
'$check_write_portrayed'(T, G).
|
|
||||||
'$check_opt_write'(portray(T), G) :- !,
|
|
||||||
'$check_write_portrayed'(T, G).
|
|
||||||
'$check_opt_write'(priority(T), G) :- !,
|
|
||||||
'$check_priority_arg'(T, G).
|
|
||||||
'$check_opt_write'(max_depth(T), G) :- !,
|
'$check_opt_write'(max_depth(T), G) :- !,
|
||||||
'$check_write_max_depth'(T, G).
|
'$check_write_max_depth'(T, G).
|
||||||
|
'$check_opt_write'(numbervars(T), G) :- !,
|
||||||
|
'$check_boolean'(T, write_option, ignore_ops(T), G).
|
||||||
|
'$check_opt_write'(portrayed(T), G) :- !,
|
||||||
|
'$check_boolean'(T, write_option, portrayed(T), G).
|
||||||
|
'$check_opt_write'(portray(T), G) :- !,
|
||||||
|
'$check_boolean'(T, write_option, portray(T), G).
|
||||||
|
'$check_opt_write'(priority(T), G) :- !,
|
||||||
|
'$check_priority_arg'(T, G).
|
||||||
|
'$check_opt_write'(swi(T), G) :- !,
|
||||||
|
'$check_boolean'(T, write_option, swi(T), G).
|
||||||
'$check_opt_write'(A, G) :-
|
'$check_opt_write'(A, G) :-
|
||||||
'$do_error'(domain_error(write_option,A),G).
|
'$do_error'(domain_error(write_option,A),G).
|
||||||
|
|
||||||
@ -329,40 +324,12 @@ open(F,T,S,Opts) :-
|
|||||||
'$check_write_attributes'(X,G) :-
|
'$check_write_attributes'(X,G) :-
|
||||||
'$do_error'(domain_error(write_option,attributes(X)),G).
|
'$do_error'(domain_error(write_option,attributes(X)),G).
|
||||||
|
|
||||||
'$check_write_quoted_arg'(X, G) :- var(X), !,
|
'$check_boolean'(X, _, _, G) :- var(X), !,
|
||||||
'$do_error'(instantiation_error,G).
|
'$do_error'(instantiation_error,G).
|
||||||
'$check_write_quoted_arg'(true,_) :- !.
|
'$check_boolean'(true,_,_,_) :- !.
|
||||||
'$check_write_quoted_arg'(false,_) :- !.
|
'$check_boolean'(false,_,_,_) :- !.
|
||||||
'$check_write_quoted_arg'(X,G) :-
|
'$check_boolean'(X,B,T,G) :-
|
||||||
'$do_error'(domain_error(write_option,write_quoted(X)),G).
|
'$do_error'(domain_error(B,T),G).
|
||||||
|
|
||||||
'$check_cycles_arg'(X, G) :- var(X), !,
|
|
||||||
'$do_error'(instantiation_error,G).
|
|
||||||
'$check_cycles_arg'(true,_) :- !.
|
|
||||||
'$check_cycles_arg'(false,_) :- !.
|
|
||||||
'$check_cycles_arg'(X,G) :-
|
|
||||||
'$do_error'(domain_error(write_option,cycles(X)),G).
|
|
||||||
|
|
||||||
'$check_write_ignore_ops_arg'(X, G) :- var(X), !,
|
|
||||||
'$do_error'(instantiation_error,G).
|
|
||||||
'$check_write_ignore_ops_arg'(true,_) :- !.
|
|
||||||
'$check_write_ignore_ops_arg'(false,_) :- !.
|
|
||||||
'$check_write_ignore_ops_arg'(X,G) :-
|
|
||||||
'$do_error'(domain_error(write_option,ignore_ops(X)),G).
|
|
||||||
|
|
||||||
'$check_write_numbervars_arg'(X, G) :- var(X), !,
|
|
||||||
'$do_error'(instantiation_error,G).
|
|
||||||
'$check_write_numbervars_arg'(true,_) :- !.
|
|
||||||
'$check_write_numbervars_arg'(false,_) :- !.
|
|
||||||
'$check_write_numbervars_arg'(X,G) :-
|
|
||||||
'$do_error'(domain_error(write_option,numbervars(X)),G).
|
|
||||||
|
|
||||||
'$check_write_portrayed'(X, G) :- var(X), !,
|
|
||||||
'$do_error'(instantiation_error,G).
|
|
||||||
'$check_write_portrayed'(true,_) :- !.
|
|
||||||
'$check_write_portrayed'(false,_) :- !.
|
|
||||||
'$check_write_portrayed'(X,G) :-
|
|
||||||
'$do_error'(domain_error(write_option,portrayed(X)),G).
|
|
||||||
|
|
||||||
'$check_write_max_depth'(X, G) :- var(X), !,
|
'$check_write_max_depth'(X, G) :- var(X), !,
|
||||||
'$do_error'(instantiation_error,G).
|
'$do_error'(instantiation_error,G).
|
||||||
@ -520,19 +487,20 @@ read_term(Stream, T, Options) :-
|
|||||||
'$add_singleton_if_no_underscore'(Na,V2,NSs,[(Name=V2)|NSs]) :-
|
'$add_singleton_if_no_underscore'(Na,V2,NSs,[(Name=V2)|NSs]) :-
|
||||||
atom_codes(Name, Na).
|
atom_codes(Name, Na).
|
||||||
|
|
||||||
|
nl(Stream) :- '$put'(Stream,10).
|
||||||
|
|
||||||
|
nl :- current_output(Stream), '$put'(Stream,10), fail.
|
||||||
|
nl.
|
||||||
|
|
||||||
/* meaning of flags for '$write' is
|
/* meaning of flags for '$write' is
|
||||||
1 quote illegal atoms
|
1 quote illegal atoms
|
||||||
2 ignore operator declarations
|
2 ignore operator declarations
|
||||||
4 output '$VAR'(N) terms as A, B, C, ...
|
4 output '$VAR'(N) terms as A, B, C, ...
|
||||||
8 use portray(_)
|
8 use portray(_)
|
||||||
|
|
||||||
|
flags are defined in yapio.h
|
||||||
*/
|
*/
|
||||||
|
|
||||||
|
|
||||||
nl(Stream) :- '$put'(Stream,10).
|
|
||||||
|
|
||||||
nl :- current_output(Stream), '$put'(Stream,10), fail.
|
|
||||||
nl.
|
|
||||||
|
|
||||||
write(T) :- '$write'(4, T).
|
write(T) :- '$write'(4, T).
|
||||||
|
|
||||||
writeln(T) :-
|
writeln(T) :-
|
||||||
@ -563,6 +531,15 @@ write_canonical(Stream,T) :-
|
|||||||
fail.
|
fail.
|
||||||
write_canonical(_,_).
|
write_canonical(_,_).
|
||||||
|
|
||||||
|
print(T) :- '$write'(12,T), fail.
|
||||||
|
print(_).
|
||||||
|
|
||||||
|
print(Stream,T) :-
|
||||||
|
'$write'(Stream,12,T),
|
||||||
|
fail.
|
||||||
|
print(_,_).
|
||||||
|
|
||||||
|
|
||||||
write_term(T,Opts) :-
|
write_term(T,Opts) :-
|
||||||
'$check_io_opts'(Opts, write_term(T,Opts)),
|
'$check_io_opts'(Opts, write_term(T,Opts)),
|
||||||
'$process_wt_opts'(Opts, 0, Flag, Priority, Callbacks),
|
'$process_wt_opts'(Opts, 0, Flag, Priority, Callbacks),
|
||||||
@ -579,42 +556,49 @@ write_term(S, T, Opts) :-
|
|||||||
fail.
|
fail.
|
||||||
write_term(_,_,_).
|
write_term(_,_,_).
|
||||||
|
|
||||||
|
|
||||||
'$process_wt_opts'([], Flag, Flag, 1200, []).
|
'$process_wt_opts'([], Flag, Flag, 1200, []).
|
||||||
'$process_wt_opts'([quoted(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([quoted(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
FlagI is Flag0 \/ 1,
|
FlagI is Flag0 \/ 0x01,
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
'$process_wt_opts'([quoted(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([quoted(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
FlagI is Flag0 /\ 30,
|
FlagI is Flag0 /\ \0x01,
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
|
||||||
'$process_wt_opts'([cycles(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
|
||||||
FlagI is Flag0 \/ 16,
|
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
|
||||||
'$process_wt_opts'([cycles(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
|
||||||
FlagI is Flag0 /\ 15,
|
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
'$process_wt_opts'([ignore_ops(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([ignore_ops(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
FlagI is Flag0 \/ 2,
|
FlagI is Flag0 \/ 0x02,
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
'$process_wt_opts'([ignore_ops(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([ignore_ops(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
FlagI is Flag0 /\ 39,
|
FlagI is Flag0 /\ \0x02,
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
'$process_wt_opts'([numbervars(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([numbervars(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
FlagI is Flag0 \/ 4,
|
FlagI is Flag0 \/ 0x04,
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
'$process_wt_opts'([numbervars(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([numbervars(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
FlagI is Flag0 /\ 27,
|
FlagI is Flag0 /\ \0x04,
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
'$process_wt_opts'([portrayed(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([portrayed(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
FlagI is Flag0 \/ 8,
|
FlagI is Flag0 \/ 0x08,
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
'$process_wt_opts'([portrayed(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([portrayed(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
FlagI is Flag0 /\ 23,
|
FlagI is Flag0 /\ \0x08,
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
'$process_wt_opts'([portray(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([portray(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
FlagI is Flag0 \/ 8,
|
FlagI is Flag0 \/ 0x08,
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
'$process_wt_opts'([portray(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([portray(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
FlagI is Flag0 /\ 23,
|
FlagI is Flag0 /\ \0x08,
|
||||||
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
|
'$process_wt_opts'([cycles(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
|
FlagI is Flag0 \/ 0x20,
|
||||||
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
|
'$process_wt_opts'([cycles(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
|
FlagI is Flag0 /\ \0x20,
|
||||||
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
|
'$process_wt_opts'([swi(true)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
|
FlagI is Flag0 \/ 0x40,
|
||||||
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
|
'$process_wt_opts'([swi(false)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
|
FlagI is Flag0 /\ \0x40,
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
'$process_wt_opts'([attributes(_)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
'$process_wt_opts'([attributes(_)|Opts], Flag0, Flag, Priority, CallBacks) :-
|
||||||
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
'$process_wt_opts'(Opts, FlagI, Flag, Priority, CallBacks).
|
||||||
@ -632,15 +616,6 @@ write_term(_,_,_).
|
|||||||
'$process_wt_callbacks'(Cs).
|
'$process_wt_callbacks'(Cs).
|
||||||
|
|
||||||
|
|
||||||
print(T) :- '$write'(12,T), fail.
|
|
||||||
print(_).
|
|
||||||
|
|
||||||
print(Stream,T) :-
|
|
||||||
'$write'(Stream,12,T),
|
|
||||||
fail.
|
|
||||||
print(_,_).
|
|
||||||
|
|
||||||
|
|
||||||
format(T) :-
|
format(T) :-
|
||||||
format(T, []).
|
format(T, []).
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user