From 2e2aaf040bb5788c02eeddf7699fc9ace78b8403 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sun, 24 Aug 2008 14:22:49 +0100 Subject: [PATCH] add PL_fail and PL_succeed to SWI interface emulation. --- include/SWI-Prolog.h | 3 +++ 1 file changed, 3 insertions(+) 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);