diff --git a/include/SWI-Prolog.h b/include/SWI-Prolog.h index 3745b8875..7315bec54 100644 --- a/include/SWI-Prolog.h +++ b/include/SWI-Prolog.h @@ -174,6 +174,9 @@ typedef void *PL_engine_t; /* copied from old SICStus/SWI interface */ typedef void install_t; +#define PL_fail return FALSE /* fail */ +#define PL_succeed return TRUE /* success */ + extern X_API void PL_free(void *); extern X_API PL_agc_hook_t PL_agc_hook(PL_agc_hook_t);