2005-05-27 23:27:59 +01:00
|
|
|
/*************************************************************************
|
|
|
|
|
* *
|
|
|
|
|
* YAP Prolog %W% %G% *
|
|
|
|
|
* Yap Prolog was developed at NCCUP - Universidade do Porto *
|
|
|
|
|
* *
|
|
|
|
|
* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997 *
|
|
|
|
|
* *
|
|
|
|
|
**************************************************************************
|
|
|
|
|
* *
|
|
|
|
|
* File: Yap.h.m4 *
|
|
|
|
|
* mods: *
|
|
|
|
|
* comments: main header file for YAP *
|
2006-05-22 17:03:34 +01:00
|
|
|
* version: $Id: Yap.h,v 1.16 2006-05-22 16:03:34 tiagosoares Exp $ *
|
2005-05-27 23:27:59 +01:00
|
|
|
*************************************************************************/
|
|
|
|
|
|
|
|
|
|
#include "config.h"
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
|
|
|
|
|
#define RATIONAL_TREES 1
|
|
|
|
|
|
|
|
|
|
#define DEPTH_LIMIT 1
|
|
|
|
|
|
|
|
|
|
#define COROUTINING 1
|
|
|
|
|
|
|
|
|
|
#define ANALYST 1
|
|
|
|
|
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#define MULTI_ASSIGNMENT_VARIABLES 1
|
|
|
|
|
|
|
|
|
|
#if defined(YAPOR)
|
|
|
|
|
#error Do not explicitly define YAPOR
|
|
|
|
|
#endif /* YAPOR */
|
|
|
|
|
|
|
|
|
|
#if (defined(ENV_COPY) && (defined(ACOW) || defined(SBA))) || (defined(ACOW) && defined(SBA))
|
|
|
|
|
#error Do not define multiple or-parallel models
|
|
|
|
|
#endif /* (ENV_COPY && (ACOW || SBA)) || (ACOW && SBA) */
|
|
|
|
|
|
|
|
|
|
#if defined(ENV_COPY) || defined(ACOW) || defined(SBA)
|
|
|
|
|
#define YAPOR 1
|
|
|
|
|
#endif /* ENV_COPY || ACOW || SBA */
|
|
|
|
|
|
|
|
|
|
#if defined(TABLING) && (defined(ACOW) || defined(SBA))
|
|
|
|
|
#error Currently TABLING only works with ENV_COPY
|
|
|
|
|
#endif /* TABLING && (ACOW || SBA) */
|
|
|
|
|
|
|
|
|
|
#ifdef YAPOR
|
|
|
|
|
#define FIXED_STACKS 1
|
|
|
|
|
#endif /* YAPOR */
|
|
|
|
|
|
|
|
|
|
#if defined(YAPOR) || defined(TABLING)
|
|
|
|
|
#undef TRAILING_REQUIRES_BRANCH
|
|
|
|
|
#endif /* YAPOR || TABLING */
|
|
|
|
|
|
|
|
|
|
#if ANALYST
|
|
|
|
|
#ifdef USE_THREADED_CODE
|
|
|
|
|
#undef USE_THREADED_CODE
|
|
|
|
|
#endif
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#ifdef COROUTINING
|
|
|
|
|
#ifndef TERM_EXTENSIONS
|
|
|
|
|
#define TERM_EXTENSIONS 1
|
|
|
|
|
#endif
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if SUPPORT_THREADS || SUPPORT_CONDOR
|
|
|
|
|
#define USE_SYSTEM_MALLOC 1
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if defined(TABLING) || defined(SBA)
|
|
|
|
|
#define FROZEN_STACKS 1
|
|
|
|
|
#endif /* TABLING || SBA */
|
|
|
|
|
|
|
|
|
|
#ifdef _MSC_VER /* Microsoft's Visual C++ Compiler */
|
|
|
|
|
/* adjust a config.h from mingw32 to work with vc++ */
|
|
|
|
|
#ifdef HAVE_GCC
|
|
|
|
|
#undef HAVE_GCC
|
|
|
|
|
#endif
|
|
|
|
|
#ifdef USE_THREADED_CODE
|
|
|
|
|
#undef USE_THREADED_CODE
|
|
|
|
|
#endif
|
|
|
|
|
#define inline __inline
|
2006-04-13 13:02:39 +01:00
|
|
|
#define YAP_VERSION "Yap-5.1.2"
|
2005-08-23 19:11:55 +01:00
|
|
|
#define BIN_DIR "c:\\Yap\\bin"
|
|
|
|
|
#define LIB_DIR "c:\\Yap\\lib\\Yap"
|
|
|
|
|
#define SHARE_DIR "c:\\Yap\\share\\Yap"
|
2005-05-27 23:27:59 +01:00
|
|
|
#ifdef HOST_ALIAS
|
|
|
|
|
#undef HOST_ALIAS
|
|
|
|
|
#endif
|
|
|
|
|
#define HOST_ALIAS "i386-pc-win32"
|
|
|
|
|
#ifdef HAVE_IEEEFP_H
|
|
|
|
|
#undef HAVE_IEEEFP_H
|
|
|
|
|
#endif
|
|
|
|
|
#ifdef HAVE_UNISTD_H
|
|
|
|
|
#undef HAVE_UNISTD_H
|
|
|
|
|
#endif
|
|
|
|
|
#ifdef HAVE_SYS_TIME_H
|
|
|
|
|
#undef HAVE_SYS_TIME_H
|
|
|
|
|
#endif
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#ifdef __MINGW32__
|
|
|
|
|
#ifndef _WIN32
|
|
|
|
|
#define _WIN32 1
|
|
|
|
|
#endif
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if HAVE_GCC
|
|
|
|
|
#define MIN_ARRAY 0
|
|
|
|
|
#define DUMMY_FILLER_FOR_ABS_TYPE
|
|
|
|
|
#else
|
|
|
|
|
#define MIN_ARRAY 1
|
|
|
|
|
#define DUMMY_FILLER_FOR_ABS_TYPE int dummy;
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#ifndef ADTDEFS_C
|
|
|
|
|
#define EXTERN static
|
|
|
|
|
#else
|
|
|
|
|
#define EXTERN
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/* truth-values */
|
|
|
|
|
#define TRUE 1
|
|
|
|
|
#define FALSE 0
|
|
|
|
|
|
|
|
|
|
/* null pointer */
|
|
|
|
|
#define NIL 0
|
|
|
|
|
|
|
|
|
|
/* Basic types */
|
|
|
|
|
|
|
|
|
|
/* defines integer types Int and UInt (unsigned) with the same size as a ptr
|
|
|
|
|
** and integer types Short and UShort with half the size of a ptr
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#ifdef THREADS
|
|
|
|
|
#if USE_PTHREAD_LOCKING
|
|
|
|
|
#define _XOPEN_SOURCE 600
|
|
|
|
|
#endif
|
|
|
|
|
#include <pthread.h>
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if defined(YAPOR) || defined(THREADS)
|
|
|
|
|
#define MAX_WORKERS (sizeof(unsigned long) * 8)
|
|
|
|
|
#else
|
|
|
|
|
#define MAX_WORKERS 1
|
|
|
|
|
#endif /* YAPOR */
|
|
|
|
|
|
|
|
|
|
#if SIZEOF_INT_P==4
|
|
|
|
|
|
|
|
|
|
#if SIZEOF_INT==4
|
|
|
|
|
/* */ typedef int Int;
|
|
|
|
|
/* */ typedef unsigned int UInt;
|
|
|
|
|
|
|
|
|
|
#elif SIZEOF_LONG_INT==4
|
|
|
|
|
/* */ typedef long int Int;
|
|
|
|
|
/* */ typedef unsigned long int UInt;
|
|
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
# error Yap require integer types of the same size as a pointer
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if SIZEOF_SHORT_INT==2
|
|
|
|
|
/* */ typedef short int Short;
|
|
|
|
|
/* */ typedef unsigned short int UShort;
|
|
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
# error Yap requires integer types half the size of a pointer
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#elif SIZEOF_INT_P==8
|
|
|
|
|
|
|
|
|
|
# if SIZEOF_INT==8
|
|
|
|
|
/* */ typedef int Int;
|
|
|
|
|
/* */ typedef unsigned int UInt;
|
|
|
|
|
|
|
|
|
|
#elif SIZEOF_LONG_INT==8
|
|
|
|
|
/* */ typedef long int Int;
|
|
|
|
|
/* */ typedef unsigned long int UInt;
|
|
|
|
|
|
|
|
|
|
# elif SIZEOF_LONG_LONG_INT==8
|
|
|
|
|
/* */ typedef long long int Int;
|
|
|
|
|
/* */ typedef unsigned long long int UInt;
|
|
|
|
|
|
|
|
|
|
# else
|
|
|
|
|
# error Yap requires integer types of the same size as a pointer
|
|
|
|
|
# endif
|
|
|
|
|
|
|
|
|
|
# if SIZEOF_SHORT_INT==4
|
|
|
|
|
/* */ typedef short int Short;
|
|
|
|
|
/* */ typedef unsigned short int UShort;
|
|
|
|
|
|
|
|
|
|
# elif SIZEOF_INT==4
|
|
|
|
|
/* */ typedef int Short;
|
2006-05-22 17:03:34 +01:00
|
|
|
/* */ typedef unsigned int UShort;
|
2005-05-27 23:27:59 +01:00
|
|
|
|
|
|
|
|
# else
|
|
|
|
|
# error Yap requires integer types half the size of a pointer
|
|
|
|
|
# endif
|
|
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
|
|
# error Yap requires pointers of size 4 or 8
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/* */ typedef double Float;
|
|
|
|
|
|
|
|
|
|
#if SIZEOF_INT<SIZEOF_INT_P
|
|
|
|
|
#define SHORT_INTS 1
|
|
|
|
|
#else
|
|
|
|
|
#define SHORT_INTS 0
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#ifdef __GNUC__
|
|
|
|
|
typedef long long int YAP_LONG_LONG;
|
|
|
|
|
typedef unsigned long long int YAP_ULONG_LONG;
|
|
|
|
|
#else
|
|
|
|
|
typedef long int YAP_LONG_LONG;
|
|
|
|
|
typedef unsigned long int YAP_ULONG_LONG;
|
|
|
|
|
#endif
|
|
|
|
|
|
2005-12-17 03:25:39 +00:00
|
|
|
#if HAVE_SIGPROF && (defined(__linux__) || defined(__POWERPC__))
|
2005-05-27 23:27:59 +01:00
|
|
|
#define LOW_PROF 1
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if DEBUG
|
|
|
|
|
extern char Yap_Option[20];
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/* #define FORCE_SECOND_QUADRANT 1 */
|
|
|
|
|
|
|
|
|
|
#if defined(FORCE_SECOND_QUADRANT)
|
|
|
|
|
#define IN_SECOND_QUADRANT 1
|
|
|
|
|
#define MMAP_ADDR 0x42000000
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if !IN_SECOND_QUADRANT
|
|
|
|
|
#if __linux__ || __FreeBSD__ || __NetBSD__ || mips || __APPLE__
|
|
|
|
|
#if defined(YAPOR) && defined(__alpha)
|
|
|
|
|
|
|
|
|
|
#define MMAP_ADDR 0x40000000
|
|
|
|
|
#elif mips
|
|
|
|
|
#define MMAP_ADDR 0x02000000
|
|
|
|
|
#elif __APPLE__
|
|
|
|
|
#define MMAP_ADDR 0x20000000
|
|
|
|
|
#else
|
|
|
|
|
#define MMAP_ADDR 0x08800000
|
|
|
|
|
#endif
|
|
|
|
|
#elif __svr4__ || defined(__SVR4)
|
|
|
|
|
#define MMAP_ADDR 0x02000000
|
|
|
|
|
#endif
|
|
|
|
|
#endif /* !IN_SECOND_QUADRANT */
|
|
|
|
|
|
|
|
|
|
#ifdef THREADS
|
|
|
|
|
#define HEAP_INIT_BASE 0L
|
|
|
|
|
#define AtomBase NULL
|
|
|
|
|
#else
|
|
|
|
|
#if defined(MMAP_ADDR) && (USE_MMAP || USE_SHMAT) && !__simplescalar__
|
|
|
|
|
#define HEAP_INIT_BASE (MMAP_ADDR)
|
|
|
|
|
#define AtomBase ((char *)MMAP_ADDR)
|
|
|
|
|
#else
|
|
|
|
|
#define HEAP_INIT_BASE ((CELL)Yap_HeapBase)
|
|
|
|
|
#define AtomBase (Yap_HeapBase)
|
|
|
|
|
#endif
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#ifndef SHORT_ADDRESSES
|
|
|
|
|
# define LONG_ADDRESSES 1
|
|
|
|
|
#else
|
|
|
|
|
# define LONG_ADDRESSES 0
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#ifndef ALIGN_LONGS
|
|
|
|
|
#define ALIGN_LONGS 1
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/* basic data types */
|
|
|
|
|
|
|
|
|
|
typedef UInt CELL;
|
|
|
|
|
typedef UShort BITS16;
|
|
|
|
|
typedef Short SBITS16;
|
|
|
|
|
typedef UInt BITS32;
|
|
|
|
|
|
|
|
|
|
#if ALIGN_LONGS
|
|
|
|
|
typedef CELL SFLAGS;
|
|
|
|
|
#else
|
|
|
|
|
typedef BITS16 SFLAGS;
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
typedef char *ADDR;
|
|
|
|
|
typedef CELL OFFSET;
|
|
|
|
|
typedef unsigned char *CODEADDR;
|
|
|
|
|
|
|
|
|
|
#define WordSize sizeof(BITS16)
|
|
|
|
|
#define CellSize sizeof(CELL)
|
|
|
|
|
#define SmallSize sizeof(SMALLUNSGN)
|
|
|
|
|
|
|
|
|
|
/* type casting macros */
|
|
|
|
|
|
|
|
|
|
#define Addr(V) ((ADDR) (V))
|
|
|
|
|
#define Unsigned(V) ((CELL) (V))
|
|
|
|
|
#define Signed(V) ((Int) (V))
|
|
|
|
|
|
|
|
|
|
#define CodePtr(V) ((CODEADDR)(V))
|
|
|
|
|
#define CellPtr(V) ((CELL *)(V))
|
|
|
|
|
#define OpCodePtr(V) ((OPCODE *)(V))
|
|
|
|
|
#define OpRegPtr(V) ((OPREG *)(V))
|
|
|
|
|
#define SmallPtr(V) ((SMALLUNSGN *)(V))
|
|
|
|
|
#define WordPtr(V) ((BITS16 *)(V))
|
|
|
|
|
#define DisplPtr(V) ((DISPREG *)(V))
|
|
|
|
|
#define TermPtr(V) ((Term *) (V))
|
|
|
|
|
|
|
|
|
|
/* Abstract Type Definitions for YAPProlog */
|
|
|
|
|
|
|
|
|
|
typedef CELL Term;
|
|
|
|
|
|
|
|
|
|
#if !defined(YAPOR) && !defined(THREADS)
|
|
|
|
|
#include <nolocks.h>
|
|
|
|
|
#elif USE_PTHREAD_LOCKING
|
|
|
|
|
|
|
|
|
|
#ifndef _XOPEN_SOURCE
|
|
|
|
|
#define _XOPEN_SOURCE 600
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
typedef pthread_mutex_t lockvar;
|
|
|
|
|
typedef pthread_rwlock_t rwlock_t;
|
|
|
|
|
#include <pthread_locks.h>
|
|
|
|
|
#elif defined(i386)
|
|
|
|
|
typedef volatile int lockvar;
|
|
|
|
|
#include <x86_locks.h>
|
|
|
|
|
#elif defined(sparc) || defined(__sparc)
|
|
|
|
|
typedef volatile int lockvar;
|
|
|
|
|
#include <sparc_locks.h>
|
|
|
|
|
#elif defined(mips)
|
|
|
|
|
typedef volatile int lockvar;
|
|
|
|
|
#include <mips_locks.h>
|
|
|
|
|
#elif defined(__alpha)
|
|
|
|
|
typedef volatile int lockvar;
|
|
|
|
|
#include <alpha_locks.h>
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
|
|
#ifndef _XOPEN_SOURCE
|
|
|
|
|
#define _XOPEN_SOURCE 600
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
typedef pthread_mutex_t lockvar;
|
|
|
|
|
typedef pthread_rwlock_t rwlock_t;
|
|
|
|
|
#include <pthread_locks.h>
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/********************** use an auxiliary function for ranges ************/
|
|
|
|
|
|
|
|
|
|
#ifdef __GNUC__
|
|
|
|
|
#define IN_BETWEEN(MIN,X,MAX) (Unsigned((Int)(X)-(Int)(MIN)) <= \
|
|
|
|
|
Unsigned((Int)(MAX)-(Int)(MIN)) )
|
|
|
|
|
|
|
|
|
|
#define OUTSIDE(MIN,X,MAX) (Unsigned((Int)(X)-(Int)(MIN)) > \
|
|
|
|
|
Unsigned((Int)(MAX)-(Int)(MIN)) )
|
|
|
|
|
#else
|
|
|
|
|
#define IN_BETWEEN(MIN,X,MAX) ((void *)(X) >= (void *)(MIN) && (void *)(X) <= (void *)(MAX))
|
|
|
|
|
|
|
|
|
|
#define OUTSIDE(MIN,X,MAX) ((void *)(X) < (void *)(MIN) || (void *)(X) > (void *)(MAX))
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/* ************************* Atoms *************************************/
|
|
|
|
|
|
|
|
|
|
#include "Atoms.h"
|
|
|
|
|
|
|
|
|
|
/* ************************* Coroutining **********************************/
|
|
|
|
|
|
|
|
|
|
#ifdef COROUTINING
|
|
|
|
|
/* Support for co-routining */
|
|
|
|
|
#include "corout.h"
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/********* abstract machine registers **********************************/
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#include "amidefs.h"
|
|
|
|
|
|
|
|
|
|
#include "Regs.h"
|
|
|
|
|
|
|
|
|
|
#if defined(YAPOR) ||defined(THREADS)
|
|
|
|
|
#ifdef mips
|
|
|
|
|
#include <mips_locks_funcs.h>
|
|
|
|
|
#endif
|
|
|
|
|
#ifdef __alpha
|
|
|
|
|
#include <alpha_locks_funcs.h>
|
|
|
|
|
#endif
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/************ variables concerned with Error Handling *************/
|
|
|
|
|
|
|
|
|
|
#include <setjmp.h>
|
|
|
|
|
|
|
|
|
|
#if defined(SIMICS) || !HAVE_SIGSETJMP
|
|
|
|
|
#define sigjmp_buf jmp_buf
|
|
|
|
|
#define sigsetjmp(Env, Arg) setjmp(Env)
|
|
|
|
|
#define siglongjmp(Env, Arg) longjmp(Env, Arg)
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/* Support for arrays */
|
|
|
|
|
#include "arrays.h"
|
|
|
|
|
|
|
|
|
|
/************ variables concerned with Error Handling *************/
|
|
|
|
|
|
|
|
|
|
/* Types of Errors */
|
|
|
|
|
typedef enum
|
|
|
|
|
{
|
|
|
|
|
YAP_NO_ERROR,
|
|
|
|
|
FATAL_ERROR,
|
|
|
|
|
INTERNAL_ERROR,
|
|
|
|
|
INTERNAL_COMPILER_ERROR,
|
|
|
|
|
PURE_ABORT,
|
|
|
|
|
CALL_COUNTER_UNDERFLOW,
|
|
|
|
|
/* ISO_ERRORS */
|
|
|
|
|
CONSISTENCY_ERROR,
|
|
|
|
|
DOMAIN_ERROR_ARRAY_OVERFLOW,
|
|
|
|
|
DOMAIN_ERROR_ARRAY_TYPE,
|
|
|
|
|
DOMAIN_ERROR_IO_MODE,
|
|
|
|
|
DOMAIN_ERROR_MUTABLE,
|
|
|
|
|
DOMAIN_ERROR_NON_EMPTY_LIST,
|
|
|
|
|
DOMAIN_ERROR_NOT_LESS_THAN_ZERO,
|
|
|
|
|
DOMAIN_ERROR_NOT_NL,
|
|
|
|
|
DOMAIN_ERROR_NOT_ZERO,
|
|
|
|
|
DOMAIN_ERROR_OUT_OF_RANGE,
|
|
|
|
|
DOMAIN_ERROR_OPERATOR_PRIORITY,
|
|
|
|
|
DOMAIN_ERROR_OPERATOR_SPECIFIER,
|
|
|
|
|
DOMAIN_ERROR_RADIX,
|
|
|
|
|
DOMAIN_ERROR_SHIFT_COUNT_OVERFLOW,
|
|
|
|
|
DOMAIN_ERROR_SOURCE_SINK,
|
|
|
|
|
DOMAIN_ERROR_STREAM,
|
|
|
|
|
DOMAIN_ERROR_STREAM_OR_ALIAS,
|
|
|
|
|
DOMAIN_ERROR_STREAM_POSITION,
|
|
|
|
|
DOMAIN_ERROR_TIMEOUT_SPEC,
|
|
|
|
|
DOMAIN_ERROR_SYNTAX_ERROR_HANDLER,
|
|
|
|
|
EVALUATION_ERROR_FLOAT_OVERFLOW,
|
|
|
|
|
EVALUATION_ERROR_FLOAT_UNDERFLOW,
|
|
|
|
|
EVALUATION_ERROR_INT_OVERFLOW,
|
|
|
|
|
EVALUATION_ERROR_UNDEFINED,
|
|
|
|
|
EVALUATION_ERROR_UNDERFLOW,
|
|
|
|
|
EVALUATION_ERROR_ZERO_DIVISOR,
|
|
|
|
|
EXISTENCE_ERROR_ARRAY,
|
|
|
|
|
EXISTENCE_ERROR_SOURCE_SINK,
|
|
|
|
|
EXISTENCE_ERROR_STREAM,
|
|
|
|
|
INSTANTIATION_ERROR,
|
|
|
|
|
INTERRUPT_ERROR,
|
2005-11-23 13:24:00 +00:00
|
|
|
OPERATING_SYSTEM_ERROR,
|
2005-05-27 23:27:59 +01:00
|
|
|
OUT_OF_HEAP_ERROR,
|
|
|
|
|
OUT_OF_STACK_ERROR,
|
|
|
|
|
OUT_OF_TRAIL_ERROR,
|
|
|
|
|
OUT_OF_ATTVARS_ERROR,
|
|
|
|
|
OUT_OF_AUXSPACE_ERROR,
|
|
|
|
|
PERMISSION_ERROR_ACCESS_PRIVATE_PROCEDURE,
|
|
|
|
|
PERMISSION_ERROR_NEW_ALIAS_FOR_STREAM,
|
|
|
|
|
PERMISSION_ERROR_CREATE_ARRAY,
|
|
|
|
|
PERMISSION_ERROR_CREATE_OPERATOR,
|
|
|
|
|
PERMISSION_ERROR_INPUT_BINARY_STREAM,
|
|
|
|
|
PERMISSION_ERROR_INPUT_PAST_END_OF_STREAM,
|
|
|
|
|
PERMISSION_ERROR_INPUT_STREAM,
|
|
|
|
|
PERMISSION_ERROR_INPUT_TEXT_STREAM,
|
|
|
|
|
PERMISSION_ERROR_MODIFY_STATIC_PROCEDURE,
|
|
|
|
|
PERMISSION_ERROR_OPEN_SOURCE_SINK,
|
|
|
|
|
PERMISSION_ERROR_OUTPUT_BINARY_STREAM,
|
|
|
|
|
PERMISSION_ERROR_OUTPUT_STREAM,
|
|
|
|
|
PERMISSION_ERROR_OUTPUT_TEXT_STREAM,
|
|
|
|
|
PERMISSION_ERROR_RESIZE_ARRAY,
|
|
|
|
|
PERMISSION_ERROR_REPOSITION_STREAM,
|
|
|
|
|
PRED_ENTRY_COUNTER_UNDERFLOW,
|
|
|
|
|
REPRESENTATION_ERROR_CHARACTER,
|
|
|
|
|
REPRESENTATION_ERROR_CHARACTER_CODE,
|
|
|
|
|
REPRESENTATION_ERROR_MAX_ARITY,
|
|
|
|
|
RETRY_COUNTER_UNDERFLOW,
|
|
|
|
|
SYNTAX_ERROR,
|
|
|
|
|
SYSTEM_ERROR,
|
|
|
|
|
TYPE_ERROR_ARRAY,
|
|
|
|
|
TYPE_ERROR_ATOM,
|
|
|
|
|
TYPE_ERROR_ATOMIC,
|
|
|
|
|
TYPE_ERROR_BYTE,
|
|
|
|
|
TYPE_ERROR_CALLABLE,
|
|
|
|
|
TYPE_ERROR_CHAR,
|
|
|
|
|
TYPE_ERROR_CHARACTER,
|
|
|
|
|
TYPE_ERROR_COMPOUND,
|
|
|
|
|
TYPE_ERROR_DBREF,
|
|
|
|
|
TYPE_ERROR_DBTERM,
|
|
|
|
|
TYPE_ERROR_EVALUABLE,
|
|
|
|
|
TYPE_ERROR_FLOAT,
|
|
|
|
|
TYPE_ERROR_INTEGER,
|
|
|
|
|
TYPE_ERROR_KEY,
|
|
|
|
|
TYPE_ERROR_LIST,
|
|
|
|
|
TYPE_ERROR_NUMBER,
|
|
|
|
|
TYPE_ERROR_PREDICATE_INDICATOR,
|
|
|
|
|
TYPE_ERROR_PTR,
|
|
|
|
|
TYPE_ERROR_UBYTE,
|
|
|
|
|
TYPE_ERROR_UCHAR,
|
|
|
|
|
TYPE_ERROR_VARIABLE,
|
|
|
|
|
UNKNOWN_ERROR
|
|
|
|
|
} yap_error_number;
|
|
|
|
|
|
|
|
|
|
typedef enum
|
|
|
|
|
{
|
|
|
|
|
YAP_INT_BOUNDED_FLAG = 0,
|
|
|
|
|
MAX_ARITY_FLAG = 1,
|
|
|
|
|
INTEGER_ROUNDING_FLAG = 2,
|
|
|
|
|
YAP_MAX_INTEGER_FLAG = 3,
|
|
|
|
|
YAP_MIN_INTEGER_FLAG = 4,
|
|
|
|
|
CHAR_CONVERSION_FLAG = 5,
|
|
|
|
|
YAP_DOUBLE_QUOTES_FLAG = 6,
|
|
|
|
|
YAP_TO_CHARS_FLAG = 7,
|
|
|
|
|
LANGUAGE_MODE_FLAG = 8,
|
|
|
|
|
STRICT_ISO_FLAG = 9,
|
|
|
|
|
SPY_CREEP_FLAG = 10,
|
|
|
|
|
SOURCE_MODE_FLAG = 11,
|
|
|
|
|
CHARACTER_ESCAPE_FLAG = 12,
|
|
|
|
|
WRITE_QUOTED_STRING_FLAG = 13,
|
|
|
|
|
ALLOW_ASSERTING_STATIC_FLAG = 14,
|
|
|
|
|
HALT_AFTER_CONSULT_FLAG = 15,
|
|
|
|
|
FAST_BOOT_FLAG = 16,
|
|
|
|
|
STACK_DUMP_ON_ERROR_FLAG = 17,
|
|
|
|
|
INDEXING_MODE_FLAG = 18,
|
|
|
|
|
TABLING_MODE_FLAG = 19
|
|
|
|
|
} yap_flags;
|
|
|
|
|
|
|
|
|
|
#define STRING_AS_CHARS 0
|
|
|
|
|
#define STRING_AS_ATOM 2
|
|
|
|
|
|
|
|
|
|
#define QUINTUS_TO_CHARS 0
|
|
|
|
|
#define ISO_TO_CHARS 1
|
|
|
|
|
|
|
|
|
|
#define CPROLOG_CHARACTER_ESCAPES 0
|
|
|
|
|
#define ISO_CHARACTER_ESCAPES 1
|
|
|
|
|
#define SICSTUS_CHARACTER_ESCAPES 2
|
|
|
|
|
|
|
|
|
|
typedef enum
|
|
|
|
|
{
|
|
|
|
|
INDEX_MODE_OFF = 0,
|
|
|
|
|
INDEX_MODE_SINGLE = 1,
|
|
|
|
|
INDEX_MODE_COMPACT = 2,
|
|
|
|
|
INDEX_MODE_MULTI = 3,
|
|
|
|
|
INDEX_MODE_MAX = 4
|
|
|
|
|
} index_mode_options;
|
|
|
|
|
|
|
|
|
|
typedef enum
|
|
|
|
|
{
|
|
|
|
|
YAP_CREEP_SIGNAL = 0x1, /* received a creep */
|
|
|
|
|
YAP_WAKEUP_SIGNAL = 0x2, /* goals to wake up */
|
|
|
|
|
YAP_ALARM_SIGNAL = 0x4, /* received an alarm */
|
|
|
|
|
YAP_HUP_SIGNAL = 0x8, /* received SIGHUP */
|
|
|
|
|
YAP_USR1_SIGNAL = 0x10, /* received SIGUSR1 */
|
|
|
|
|
YAP_USR2_SIGNAL = 0x20, /* received SIGUSR2 */
|
|
|
|
|
YAP_INT_SIGNAL = 0x40, /* received SIGINT (unused for now) */
|
|
|
|
|
YAP_ITI_SIGNAL = 0x80, /* received inter thread signal */
|
|
|
|
|
YAP_TROVF_SIGNAL = 0x100, /* received trail overflow */
|
|
|
|
|
YAP_CDOVF_SIGNAL = 0x200, /* received code overflow */
|
|
|
|
|
YAP_STOVF_SIGNAL = 0x400, /* received stack overflow */
|
|
|
|
|
YAP_TRACE_SIGNAL = 0x800, /* received start trace */
|
|
|
|
|
YAP_DEBUG_SIGNAL = 0x1000, /* received start debug */
|
|
|
|
|
YAP_BREAK_SIGNAL = 0x2000, /* received break signal */
|
|
|
|
|
YAP_STACK_DUMP_SIGNAL = 0x4000, /* received stack dump signal */
|
|
|
|
|
YAP_STATISTICS_SIGNAL = 0x8000, /* received statistics */
|
|
|
|
|
YAP_DELAY_CREEP_SIGNAL = 0x10000 /* received a creep but should not do it */
|
|
|
|
|
} yap_signals;
|
|
|
|
|
|
|
|
|
|
#define NUMBER_OF_YAP_FLAGS TABLING_MODE_FLAG + 1
|
|
|
|
|
|
|
|
|
|
/************************ prototypes **********************************/
|
|
|
|
|
|
|
|
|
|
#include "Yapproto.h"
|
|
|
|
|
|
|
|
|
|
/************************ OPTYap configuration ************************/
|
|
|
|
|
|
|
|
|
|
/* These must be included before unification handlers */
|
|
|
|
|
#if defined(YAPOR) || defined(TABLING)
|
|
|
|
|
#include "opt.config.h"
|
|
|
|
|
#endif /* YAPOR || TABLING */
|
|
|
|
|
|
|
|
|
|
/***********************************************************************/
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
absrectype Term = Int + Float + Atom + Pair + Appl + Ref + Var
|
|
|
|
|
|
|
|
|
|
with AbsAppl(t) : *CELL -> Term
|
|
|
|
|
and RepAppl(t) : Term -> *CELL
|
|
|
|
|
|
|
|
|
|
and AbsPair(t) : *CELL -> Term
|
|
|
|
|
and RepPair(t) : Term -> *CELL
|
|
|
|
|
|
|
|
|
|
and IsIntTerm(t) = ...
|
|
|
|
|
and IsAtomTerm(t) = ...
|
|
|
|
|
and IsVarTerm(t) = ...
|
|
|
|
|
and IsPairTerm(t) = ...
|
|
|
|
|
and IsApplTerm(t) = ...
|
|
|
|
|
and IsFloatTerm(t) = ...
|
|
|
|
|
and IsRefTerm(t) = ...
|
|
|
|
|
and IsNonVarTerm(t) = ! IsVar(t)
|
|
|
|
|
and IsNumterm(t) = IsIntTerm(t) || IsFloatTerm(t)
|
|
|
|
|
and IsAtomicTerm(t) = IsNumTerm(t) || IsAtomTerm(t)
|
|
|
|
|
and IsPrimitiveTerm(t) = IsAtomicTerm(t) || IsRefTerm(t)
|
|
|
|
|
|
|
|
|
|
and MkIntTerm(n) = ...
|
|
|
|
|
and MkFloatTerm(f) = ...
|
|
|
|
|
and MkAtomTerm(a) = ...
|
|
|
|
|
and MkVarTerm(r) = ...
|
|
|
|
|
and MkApplTerm(f,n,args) = ...
|
|
|
|
|
and MkPairTerm(hd,tl) = ...
|
|
|
|
|
and MkRefTerm(R) = ...
|
|
|
|
|
|
|
|
|
|
and PtrOfTerm(t) : Term -> CELL * = ...
|
|
|
|
|
and IntOfTerm(t) : Term -> int = ...
|
|
|
|
|
and FloatOfTerm(t) : Term -> flt = ...
|
|
|
|
|
and AtomOfTerm(t) : Term -> Atom = ...
|
|
|
|
|
and VarOfTerm(t) : Term -> *Term = ....
|
|
|
|
|
and HeadOfTerm(t) : Term -> Term = ...
|
|
|
|
|
and TailOfTerm(t) : Term -> Term = ...
|
|
|
|
|
and FunctorOfTerm(t) : Term -> Functor = ...
|
|
|
|
|
and ArgOfTerm(i,t) : Term -> Term= ...
|
|
|
|
|
and RefOfTerm(t) : Term -> DBRef = ...
|
|
|
|
|
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
YAP can use several different tag schemes, according to the kind of
|
|
|
|
|
machine we are experimenting with.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#if LONG_ADDRESSES && defined(OLD_TAG_SCHEME)
|
|
|
|
|
|
|
|
|
|
#include "Tags_32bits.h"
|
|
|
|
|
|
|
|
|
|
#endif /* LONG_ADDRESSES && defined(OLD_TAG_SCHEME) */
|
|
|
|
|
|
|
|
|
|
/* AIX will by default place mmaped segments at 0x30000000. This is
|
|
|
|
|
incompatible with the high tag scheme. Linux-ELF also does not like
|
|
|
|
|
if you place things in the lower addresses (power to the libc people).
|
|
|
|
|
*/
|
|
|
|
|
|
2005-12-23 00:20:14 +00:00
|
|
|
#if (defined(_AIX) || defined(_WIN32) || defined(__APPLE__) || defined(sparc) || defined(__sparc) || defined(mips) || defined(__FreeBSD__) || defined(_POWER) || defined(__POWERPC__) || defined(__linux__) || defined(IN_SECOND_QUADRANT) || defined(__CYGWIN__))
|
2005-05-27 23:27:59 +01:00
|
|
|
#define USE_LOW32_TAGS 1
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if LONG_ADDRESSES && SIZEOF_INT_P==4 && !defined(OLD_TAG_SCHEME) && !defined(USE_LOW32_TAGS)
|
|
|
|
|
|
|
|
|
|
#include "Tags_32Ops.h"
|
|
|
|
|
|
|
|
|
|
#endif /* LONG_ADDRESSES && !defined(OLD_TAG_SCHEME) && !defined(USE_LOW32_TAGS) */
|
|
|
|
|
|
|
|
|
|
#if LONG_ADDRESSES && SIZEOF_INT_P==4 && !defined(OLD_TAG_SCHEME) && defined(USE_LOW32_TAGS)
|
|
|
|
|
|
|
|
|
|
#include "Tags_32LowTag.h"
|
|
|
|
|
|
|
|
|
|
#endif /* LONG_ADDRESSES && !defined(OLD_TAG_SCHEME) */
|
|
|
|
|
|
|
|
|
|
#if LONG_ADDRESSES && SIZEOF_INT_P==8 && !defined(OLD_TAG_SCHEME)
|
|
|
|
|
|
|
|
|
|
#include "Tags_64bits.h"
|
|
|
|
|
|
|
|
|
|
#endif /* LONG_ADDRESSES && SIZEOF_INT_P==8 && !defined(OLD_TAG_SCHEME) */
|
|
|
|
|
|
|
|
|
|
#if !LONG_ADDRESSES
|
|
|
|
|
|
|
|
|
|
#include "Tags_24bits.h"
|
|
|
|
|
|
|
|
|
|
#endif /* !LONG_ADDRESSES */
|
|
|
|
|
|
|
|
|
|
#ifdef TAG_LOW_BITS_32
|
|
|
|
|
|
|
|
|
|
#if !GC_NO_TAGS
|
|
|
|
|
#define MBIT 0x80000000
|
|
|
|
|
#define RBIT 0x40000000
|
|
|
|
|
|
|
|
|
|
#if IN_SECOND_QUADRANT
|
|
|
|
|
#define INVERT_RBIT 1 /* RBIT is 1 by default */
|
|
|
|
|
#endif
|
|
|
|
|
#endif /* !GC_NO_TAGS */
|
|
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
|
|
#if !GC_NO_TAGS
|
|
|
|
|
#if defined(SBA) && defined(__linux__)
|
|
|
|
|
#define MBIT /* 0x20000000 */ MKTAG(0x1,0) /* mark bit */
|
|
|
|
|
#else
|
|
|
|
|
#define RBIT /* 0x20000000 */ MKTAG(0x1,0) /* relocation chain bit */
|
|
|
|
|
#define MBIT /* 0x40000000 */ MKTAG(0x2,0) /* mark bit */
|
|
|
|
|
#endif
|
|
|
|
|
#endif /* !GC_NO_TAGS */
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#define TermSize sizeof(Term)
|
|
|
|
|
|
|
|
|
|
/************* variables related to memory allocation *******************/
|
|
|
|
|
/* must be before TermExt.h */
|
|
|
|
|
|
|
|
|
|
extern ADDR Yap_HeapBase;
|
|
|
|
|
|
|
|
|
|
/* This is ok for Linux, should be ok for everyone */
|
|
|
|
|
#define YAP_FILENAME_MAX 1024
|
|
|
|
|
|
|
|
|
|
#define MAX_ERROR_MSG_SIZE YAP_FILENAME_MAX
|
|
|
|
|
|
|
|
|
|
#ifdef THREADS
|
|
|
|
|
typedef struct thread_globs
|
|
|
|
|
{
|
|
|
|
|
ADDR local_base;
|
|
|
|
|
ADDR global_base;
|
|
|
|
|
ADDR trail_base;
|
|
|
|
|
ADDR trail_top;
|
|
|
|
|
char *error_message;
|
|
|
|
|
Term error_term;
|
|
|
|
|
Term error_type;
|
|
|
|
|
UInt error_size;
|
|
|
|
|
char error_say[MAX_ERROR_MSG_SIZE];
|
|
|
|
|
jmp_buf io_botch;
|
|
|
|
|
sigjmp_buf restart_env;
|
|
|
|
|
struct TOKEN *tokptr;
|
|
|
|
|
struct TOKEN *toktide;
|
|
|
|
|
struct VARSTRUCT *var_table;
|
|
|
|
|
struct VARSTRUCT *anon_var_table;
|
|
|
|
|
int eot_before_eof;
|
|
|
|
|
char file_name_buf[YAP_FILENAME_MAX];
|
|
|
|
|
char file_name_buf2[YAP_FILENAME_MAX];
|
|
|
|
|
|
|
|
|
|
} tglobs;
|
|
|
|
|
|
|
|
|
|
extern struct thread_globs Yap_thread_gl[MAX_WORKERS];
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#define Yap_LocalBase Yap_thread_gl[worker_id].local_base
|
|
|
|
|
#define Yap_GlobalBase Yap_thread_gl[worker_id].global_base
|
|
|
|
|
#define Yap_TrailBase Yap_thread_gl[worker_id].trail_base
|
|
|
|
|
#define Yap_TrailTop Yap_thread_gl[worker_id].trail_top
|
|
|
|
|
#define Yap_ErrorMessage Yap_thread_gl[worker_id].error_message
|
|
|
|
|
#define Yap_Error_Term Yap_thread_gl[worker_id].error_term
|
|
|
|
|
#define Yap_Error_TYPE Yap_thread_gl[worker_id].error_type
|
|
|
|
|
#define Yap_Error_Size Yap_thread_gl[worker_id].error_size
|
|
|
|
|
#define Yap_ErrorSay Yap_thread_gl[worker_id].error_say
|
|
|
|
|
#define Yap_RestartEnv Yap_thread_gl[worker_id].restart_env
|
|
|
|
|
#else
|
|
|
|
|
extern ADDR Yap_HeapBase,
|
|
|
|
|
Yap_LocalBase, Yap_GlobalBase, Yap_TrailBase, Yap_TrailTop;
|
|
|
|
|
|
|
|
|
|
extern sigjmp_buf Yap_RestartEnv; /* used to restart after an abort */
|
|
|
|
|
|
|
|
|
|
extern char *Yap_ErrorMessage; /* used to pass error messages */
|
|
|
|
|
extern Term Yap_Error_Term; /* used to pass error terms */
|
|
|
|
|
extern yap_error_number Yap_Error_TYPE; /* used to pass the error */
|
|
|
|
|
extern UInt Yap_Error_Size; /* used to pass the error */
|
|
|
|
|
|
|
|
|
|
/******************* storing error messages ****************************/
|
|
|
|
|
extern char Yap_ErrorSay[MAX_ERROR_MSG_SIZE];
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
|
|
|
|
/************** Debugging Support ***************************/
|
|
|
|
|
extern int Yap_output_msg;
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* applies to unbound variables */
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term *VarOfTerm (Term t);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term *
|
|
|
|
|
VarOfTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Term *) (t);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#if SBA
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term MkVarTerm (void);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
MkVarTerm ()
|
|
|
|
|
{
|
|
|
|
|
return (Term) ((*H = 0, H++));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN int IsUnboundVar (Term *);
|
|
|
|
|
|
|
|
|
|
inline EXTERN int
|
|
|
|
|
IsUnboundVar (Term * t)
|
|
|
|
|
{
|
|
|
|
|
return (int) (*(t) == 0);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term MkVarTerm (void);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
MkVarTerm ()
|
|
|
|
|
{
|
|
|
|
|
return (Term) ((*H = (CELL) H, H++));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN int IsUnboundVar (Term *);
|
|
|
|
|
|
|
|
|
|
inline EXTERN int
|
|
|
|
|
IsUnboundVar (Term * t)
|
|
|
|
|
{
|
|
|
|
|
return (int) (*(t) == (Term) (t));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
inline EXTERN CELL *PtrOfTerm (Term);
|
|
|
|
|
|
|
|
|
|
inline EXTERN CELL *
|
|
|
|
|
PtrOfTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (CELL *) (*(CELL *) (t));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Functor FunctorOfTerm (Term);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Functor
|
|
|
|
|
FunctorOfTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Functor) (*RepAppl (t));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#if USE_SYSTEM_MALLOC || USE_DL_MALLOC
|
|
|
|
|
#if USE_LOW32_TAGS
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term MkAtomTerm (Atom);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
MkAtomTerm (Atom a)
|
|
|
|
|
{
|
|
|
|
|
return (Term) ((AtomTag | (CELL) (a)));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Atom AtomOfTerm (Term t);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Atom
|
|
|
|
|
AtomOfTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Atom) ((~AtomTag & (CELL) (t)));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term MkAtomTerm (Atom);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
MkAtomTerm (Atom a)
|
|
|
|
|
{
|
|
|
|
|
return (Term) (TAGGEDA (AtomTag, (CELL) (a)));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Atom AtomOfTerm (Term t);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Atom
|
|
|
|
|
AtomOfTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Atom) (NonTagPart (t));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
#else
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term MkAtomTerm (Atom);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
MkAtomTerm (Atom a)
|
|
|
|
|
{
|
|
|
|
|
return (Term) (TAGGEDA (AtomTag, (CELL) (a) - HEAP_INIT_BASE));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Atom AtomOfTerm (Term t);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Atom
|
|
|
|
|
AtomOfTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Atom) (HEAP_INIT_BASE + NonTagPart (t));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
inline EXTERN int IsAtomTerm (Term);
|
|
|
|
|
|
|
|
|
|
inline EXTERN int
|
|
|
|
|
IsAtomTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (int) (CHKTAG ((t), AtomTag));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term MkIntTerm (Int);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
MkIntTerm (Int n)
|
|
|
|
|
{
|
|
|
|
|
return (Term) (TAGGED (NumberTag, (n)));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
A constant to subtract or add to a well-known term, we assume no
|
|
|
|
|
overflow problems are possible
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term MkIntConstant (Int);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
MkIntConstant (Int n)
|
|
|
|
|
{
|
|
|
|
|
return (Term) (NONTAGGED (NumberTag, (n)));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN int IsIntTerm (Term);
|
|
|
|
|
|
|
|
|
|
inline EXTERN int
|
|
|
|
|
IsIntTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (int) (CHKTAG ((t), NumberTag));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
EXTERN inline Term STD_PROTO (MkPairTerm, (Term, Term));
|
|
|
|
|
|
|
|
|
|
EXTERN inline Term
|
|
|
|
|
MkPairTerm (Term head, Term tail)
|
|
|
|
|
{
|
|
|
|
|
register CELL *p = H;
|
|
|
|
|
|
|
|
|
|
H[0] = head;
|
|
|
|
|
H[1] = tail;
|
|
|
|
|
H += 2;
|
|
|
|
|
return (AbsPair (p));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Needed to handle numbers:
|
|
|
|
|
these two macros are fundamental in the integer/float conversions */
|
|
|
|
|
|
|
|
|
|
#ifdef M_WILLIAMS
|
|
|
|
|
#define IntInBnd(X) (TRUE)
|
|
|
|
|
#else
|
|
|
|
|
#ifdef TAGS_FAST_OPS
|
|
|
|
|
#define IntInBnd(X) (Unsigned( ( (Int)(X) >> (32-7) ) + 1) <= 1)
|
|
|
|
|
#else
|
|
|
|
|
#define IntInBnd(X) ( (X) < MAX_ABS_INT && \
|
|
|
|
|
(X) > -MAX_ABS_INT-1L )
|
|
|
|
|
#endif
|
|
|
|
|
#endif
|
|
|
|
|
#ifdef C_PROLOG
|
|
|
|
|
#define FlIsInt(X) ( (X) == (Int)(X) && IntInBnd((X)) )
|
|
|
|
|
#else
|
|
|
|
|
#define FlIsInt(X) ( FALSE )
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*
|
|
|
|
|
There are two types of functors:
|
|
|
|
|
|
|
|
|
|
o Special functors mark special terms
|
|
|
|
|
on the heap that should be seen as constants.
|
|
|
|
|
|
|
|
|
|
o Standard functors mark normal applications.
|
|
|
|
|
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
#include "TermExt.h"
|
|
|
|
|
|
|
|
|
|
#define IsAccessFunc(func) ((func) == FunctorAccess)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term MkIntegerTerm (Int);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
MkIntegerTerm (Int n)
|
|
|
|
|
{
|
|
|
|
|
return (Term) (IntInBnd (n) ? MkIntTerm (n) : MkLongIntTerm (n));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN int IsIntegerTerm (Term);
|
|
|
|
|
|
|
|
|
|
inline EXTERN int
|
|
|
|
|
IsIntegerTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (int) (IsIntTerm (t) || IsLongIntTerm (t));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Int IntegerOfTerm (Term);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Int
|
|
|
|
|
IntegerOfTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Int) (IsIntTerm (t) ? IntOfTerm (t) : LongIntOfTerm (t));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*************** unification routines ***********************************/
|
|
|
|
|
|
|
|
|
|
#if SBA
|
|
|
|
|
#include "sbaamiops.h"
|
|
|
|
|
#else
|
|
|
|
|
#include "amiops.h"
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/*************** High level macros to access arguments ******************/
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term ArgOfTerm (int i, Term t);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
ArgOfTerm (int i, Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Term) (Derefa (RepAppl (t) + (i)));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term HeadOfTerm (Term);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
HeadOfTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Term) (Derefa (RepPair (t)));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term TailOfTerm (Term);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
TailOfTerm (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Term) (Derefa (RepPair (t) + 1));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term ArgOfTermCell (int i, Term t);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
ArgOfTermCell (int i, Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Term) ((CELL) (RepAppl (t) + (i)));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term HeadOfTermCell (Term);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
HeadOfTermCell (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Term) ((CELL) (RepPair (t)));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term TailOfTermCell (Term);
|
|
|
|
|
|
|
|
|
|
inline EXTERN Term
|
|
|
|
|
TailOfTermCell (Term t)
|
|
|
|
|
{
|
|
|
|
|
return (Term) ((CELL) (RepPair (t) + 1));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*************** variables concerned with atoms table *******************/
|
|
|
|
|
#define MaxHash 1001
|
|
|
|
|
|
|
|
|
|
#define FAIL_RESTORE 0
|
|
|
|
|
#define DO_EVERYTHING 1
|
|
|
|
|
#define DO_ONLY_CODE 2
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#ifdef EMACS
|
|
|
|
|
|
|
|
|
|
/******************** using Emacs mode ********************************/
|
|
|
|
|
|
|
|
|
|
extern int emacs_mode;
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/********* common instructions codes*************************/
|
|
|
|
|
|
|
|
|
|
#define MAX_PROMPT 256
|
|
|
|
|
|
|
|
|
|
#if USE_THREADED_CODE
|
|
|
|
|
|
|
|
|
|
/************ reverse lookup of instructions *****************/
|
|
|
|
|
typedef struct opcode_tab_entry
|
|
|
|
|
{
|
|
|
|
|
OPCODE opc;
|
|
|
|
|
op_numbers opnum;
|
|
|
|
|
} opentry;
|
|
|
|
|
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
/********* Prolog may be in several modes *******************************/
|
|
|
|
|
|
|
|
|
|
typedef enum
|
|
|
|
|
{
|
|
|
|
|
BootMode = 0x1, /* if booting or restoring */
|
|
|
|
|
UserMode = 0x2, /* Normal mode */
|
|
|
|
|
CritMode = 0x4, /* If we are meddling with the heap */
|
|
|
|
|
AbortMode = 0x8, /* expecting to abort */
|
|
|
|
|
InterruptMode = 0x10, /* under an interrupt */
|
|
|
|
|
InErrorMode = 0x20, /* under an interrupt */
|
|
|
|
|
ConsoleGetcMode = 0x40, /* blocked reading from console */
|
|
|
|
|
ExtendStackMode = 0x80, /* trying to extend stack */
|
|
|
|
|
GrowHeapMode = 0x100, /* extending Heap */
|
|
|
|
|
GrowStackMode = 0x200, /* extending Stack */
|
|
|
|
|
GCMode = 0x400, /* doing Garbage Collecting */
|
|
|
|
|
ErrorHandlingMode = 0x800, /* doing error handling */
|
|
|
|
|
CCallMode = 0x1000, /* In c Call */
|
|
|
|
|
UnifyMode = 0x2000, /* In Unify Code */
|
2005-12-17 03:25:39 +00:00
|
|
|
UserCCallMode = 0x4000, /* In User C-call Code */
|
|
|
|
|
MallocMode = 0x8000 /* Doing malloc, realloc, free */
|
2005-05-27 23:27:59 +01:00
|
|
|
} prolog_exec_mode;
|
|
|
|
|
|
|
|
|
|
extern prolog_exec_mode Yap_PrologMode;
|
|
|
|
|
extern int Yap_CritLocks;
|
|
|
|
|
|
|
|
|
|
/************** Access to yap initial arguments ***************************/
|
|
|
|
|
|
|
|
|
|
extern char **Yap_argv;
|
|
|
|
|
extern int Yap_argc;
|
|
|
|
|
|
|
|
|
|
/******** whether Yap is responsible for signal handling ******************/
|
|
|
|
|
|
|
|
|
|
extern int Yap_PrologShouldHandleInterrupts;
|
|
|
|
|
|
|
|
|
|
/******************* number of modules ****************************/
|
|
|
|
|
|
|
|
|
|
#define MaxModules 256
|
|
|
|
|
|
|
|
|
|
#if YAPOR
|
|
|
|
|
#define YAPEnterCriticalSection() \
|
|
|
|
|
{ \
|
|
|
|
|
if (worker_id != GLOBAL_LOCKS_who_locked_heap) { \
|
|
|
|
|
LOCK(GLOBAL_LOCKS_heap_access); \
|
|
|
|
|
GLOBAL_LOCKS_who_locked_heap = worker_id; \
|
|
|
|
|
} \
|
|
|
|
|
Yap_PrologMode |= CritMode; \
|
|
|
|
|
Yap_CritLocks++; \
|
|
|
|
|
}
|
|
|
|
|
#define YAPLeaveCriticalSection() \
|
|
|
|
|
{ \
|
|
|
|
|
Yap_CritLocks--; \
|
|
|
|
|
if (!Yap_CritLocks) { \
|
|
|
|
|
Yap_PrologMode &= ~CritMode; \
|
|
|
|
|
if (Yap_PrologMode & InterruptMode) { \
|
|
|
|
|
Yap_PrologMode &= ~InterruptMode; \
|
|
|
|
|
Yap_ProcessSIGINT(); \
|
|
|
|
|
} \
|
|
|
|
|
if (Yap_PrologMode & AbortMode) { \
|
|
|
|
|
Yap_PrologMode &= ~AbortMode; \
|
|
|
|
|
Yap_Error(PURE_ABORT, 0, ""); \
|
|
|
|
|
} \
|
|
|
|
|
GLOBAL_LOCKS_who_locked_heap = MAX_WORKERS; \
|
|
|
|
|
UNLOCK(GLOBAL_LOCKS_heap_access); \
|
|
|
|
|
} \
|
|
|
|
|
}
|
|
|
|
|
#elif THREADS
|
|
|
|
|
#define YAPEnterCriticalSection() \
|
|
|
|
|
{ \
|
2006-04-28 14:23:23 +01:00
|
|
|
/* LOCK(BGL); */ \
|
2005-05-27 23:27:59 +01:00
|
|
|
Yap_PrologMode |= CritMode; \
|
|
|
|
|
}
|
|
|
|
|
#define YAPLeaveCriticalSection() \
|
|
|
|
|
{ \
|
|
|
|
|
Yap_PrologMode &= ~CritMode; \
|
|
|
|
|
if (Yap_PrologMode & InterruptMode) { \
|
|
|
|
|
Yap_PrologMode &= ~InterruptMode; \
|
|
|
|
|
Yap_ProcessSIGINT(); \
|
|
|
|
|
} \
|
|
|
|
|
if (Yap_PrologMode & AbortMode) { \
|
|
|
|
|
Yap_PrologMode &= ~AbortMode; \
|
|
|
|
|
Yap_Error(PURE_ABORT, 0, ""); \
|
|
|
|
|
} \
|
2006-04-28 14:23:23 +01:00
|
|
|
/* UNLOCK(BGL); */ \
|
2005-05-27 23:27:59 +01:00
|
|
|
}
|
|
|
|
|
#else
|
|
|
|
|
#define YAPEnterCriticalSection() \
|
|
|
|
|
{ \
|
|
|
|
|
Yap_PrologMode |= CritMode; \
|
|
|
|
|
Yap_CritLocks++; \
|
|
|
|
|
}
|
|
|
|
|
#define YAPLeaveCriticalSection() \
|
|
|
|
|
{ \
|
|
|
|
|
Yap_CritLocks--; \
|
|
|
|
|
if (!Yap_CritLocks) { \
|
|
|
|
|
Yap_PrologMode &= ~CritMode; \
|
|
|
|
|
if (Yap_PrologMode & InterruptMode) { \
|
|
|
|
|
Yap_PrologMode &= ~InterruptMode; \
|
|
|
|
|
Yap_ProcessSIGINT(); \
|
|
|
|
|
} \
|
|
|
|
|
if (Yap_PrologMode & AbortMode) { \
|
|
|
|
|
Yap_PrologMode &= ~AbortMode; \
|
|
|
|
|
Yap_Error(PURE_ABORT, 0, ""); \
|
|
|
|
|
} \
|
|
|
|
|
} \
|
|
|
|
|
}
|
|
|
|
|
#endif /* YAPOR */
|
|
|
|
|
|
|
|
|
|
/* when we are calling the InitStaff procedures */
|
|
|
|
|
#define AT_BOOT 0
|
|
|
|
|
#define AT_RESTORE 1
|
|
|
|
|
|
|
|
|
|
/********* mutable variables ******************/
|
|
|
|
|
|
|
|
|
|
/* I assume that the size of this structure is a multiple of the size
|
|
|
|
|
of CELL!!! */
|
|
|
|
|
typedef struct TIMED_MAVAR
|
|
|
|
|
{
|
|
|
|
|
CELL value;
|
|
|
|
|
CELL clock;
|
|
|
|
|
} timed_var;
|
|
|
|
|
|
|
|
|
|
/********* while debugging you may need some info ***********************/
|
|
|
|
|
|
|
|
|
|
#if EMACS
|
|
|
|
|
extern char emacs_tmp[], emacs_tmp2[];
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if defined(YAPOR) || defined(TABLING)
|
|
|
|
|
#include "opt.structs.h"
|
|
|
|
|
#include "opt.proto.h"
|
2005-05-31 01:38:20 +01:00
|
|
|
#include "opt.macros.h"
|
2005-05-27 23:27:59 +01:00
|
|
|
#endif /* YAPOR || TABLING */
|
|
|
|
|
|
|
|
|
|
#if SBA
|
|
|
|
|
#include "sbaunify.h"
|
|
|
|
|
#endif
|
2006-03-09 15:52:06 +00:00
|
|
|
|
