diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

xmas

Browse Source
This commit is contained in:
Vitor Santos Costa 2019-01-22 03:08:26 +00:00
parent 1c4e272b1d
commit c682058942
6 changed files with 18 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
C/stack.c
View File

@ -2134,7 +2134,7 @@ static void shortstack( choiceptr b_ptr, CELL * env_ptr , buf_struct_t *bufp) {
void DumpActiveGoals(USES_REGS1) { void DumpActiveGoals(USES_REGS1) {
/* try to dump active goals */ /* try to dump active goals */
void *ep = YENV; /* and current environment */ void *ep = YENV; /* and current environment */
void *cp; void *cp ;
PredEntry *pe; PredEntry *pe;
struct buf_struct_t buf0, *bufp = &buf0; struct buf_struct_t buf0, *bufp = &buf0;

4
C/yap-args.c
View File

@ -175,7 +175,7 @@ static bool load_file(const char *b_file USES_REGS) {
__android_log_print( __android_log_print(
ANDROID_LOG_INFO, "YAPDroid", "done init_consult %s ",b_file); ANDROID_LOG_INFO, "YAPDroid", "done init_consult %s ",b_file);
if (c_stream < 0) { if (c_stream < 0) {
fprintf(stderr, "[ FATAL ERROR: could not open file %s ]\n", b_file); fprintf(stderr, "[ FATAL ERROR: could not open file %s\n", b_file);
pop_text_stack(lvl); pop_text_stack(lvl);
exit(1); exit(1);
} }
@ -185,7 +185,7 @@ static bool load_file(const char *b_file USES_REGS) {
} }
__android_log_print( __android_log_print(
ANDROID_LOG_INFO, "YAPDroid", "do reset %s ",b_file); ANDROID_LOG_INFO, "YAPDroid", "do reset %s ",b_file);
t = 0;
while (t != TermEof) { while (t != TermEof) {
CACHE_REGS CACHE_REGS
YAP_Reset(YAP_FULL_RESET, false); YAP_Reset(YAP_FULL_RESET, false);

2
packages/jpl/src/c/jpl.c
View File

@ -1826,7 +1826,7 @@ jni_create_jvm_c(
JNIEnv *env; JNIEnv *env;
JPL_DEBUG(1, Sdprintf( "[creating JVM with 'java.class.path=%s']\n", classpath)); JPL_DEBUG(1, Sdprintf( "[creating JVM with 'java.class.path=%s']\n", classpath));
vm_args.version = JNI_VERSION_1_6zzzz; /* "Java 1.2 please" */ vm_args.version = JNI_VERSION_1_6; /* "Java 1.2 please" */
if ( classpath ) if ( classpath )
{ {
cpoptp = (char *)malloc(strlen(classpath) + strlen("-Djava.class.path=")+1); cpoptp = (char *)malloc(strlen(classpath) + strlen("-Djava.class.path=")+1);

11
packages/python/pypreds.c
View File

@ -1,4 +1,15 @@
#include "Yap.h" #include "Yap.h"
#include "py4yap.h" #include "py4yap.h"

6
pl/android.yap
View File

@ -1,8 +1,6 @@
%:- start_low_level_trace. :- module(android,
[text_to_query/2]).
%:- module(android,
% [text_to_query/2]).
:- initialization(yap_flag(verbose,_,normal)). :- initialization(yap_flag(verbose,_,normal)).

3
pl/undefined.yap
View File

@ -97,8 +97,7 @@ undefined_query(G0, M0, Cut) :-
% undef handler % undef handler
'$undefp'([M0|G0],MG) :- '$undefp'([M0|G0],MG) :-
setup_call_cleanup( x % make sure we do not loop on undefined predicates
% make sure we do not loop on undefined predicates
'$undef_setup'(Action,Debug,Current), '$undef_setup'(Action,Debug,Current),
('$get_undefined_predicates'(M0:G0, MG) ('$get_undefined_predicates'(M0:G0, MG)
-> ->