/* # (c) Copyright InterFace Computer GmbH, Munich, West Germany # %Z% %M% v%I% %E% %U% # cpred.h # USAGE: C Interface functions and macros */
/********************************************************* * * * PROLOG header file for C predicates * * * *********************************************************/
#ifndef CPREDHINCLUDED
/* Has not yet been included */ #define CPREDHINCLUDED
#ifndef MAXARITY # define MAXARITY (127) #endif
typedef long TERM; typedef long INT; typedef double DBL; typedef TERM CELL; typedef unsigned char BYTE;
#define MaxInt (0x0FFFFFFFl) /* largest integer */ #define MinInt (-MaxInt-1) /* smallest integer */
#define COROUTINE(n,t,s) int n(port,s) int port;t *s;{switch(port){case 0:break; #define RESUME(no,label) case no: goto label #define HASEPILOG case -1: goto _epilog #define BEGIN default: return 0;};{ #define DETACH(no,label) { return no; label: ; } #define FAIL return 0 #define EPILOG return 0; _epilog #define END } return 0; } #define EXCEPTION(msg) { XChk(0,msg);FAIL;} #if IBMPC & ! NARGS extern TERM DblCP(double); extern DBL DblPC(TERM); extern INT IntPC(TERM); extern TERM IntCP(INT); extern TERM StrAt(char*); extern char* AtStr(TERM); extern TERM Arg(int); extern TERM MkList(TERM,TERM,TERM**); extern TERM Nil(void); extern TERM StrList(char*,TERM**); extern int IsInteger(TERM,INT*); #else TERM DblCP(); DBL DblPC(); TERM IntCP(); INT IntPC(); TERM StrAt(); char *AtStr(); TERM Arg(); TERM MkList(), StrList(), Nil();
#endif TERM iMkStructure(), MkStructure(), iMkviStructure(), iMkvStructure(), iMkeStructure(); TERM MkVariable(); CELL FctEntry(), FindAt(); #define MkeStructure(F,N,arglist) iMkeStructure(FctEntry(FindAt(F),(int)N),arglist) #define MkvStructure(F,N,arglist) iMkvStructure(FctEntry(FindAt(F),(int)N),arglist) #define CPRIM(N,A,F) { int F (); Cprim(N,A,F); } #define CPRED(N,A,F,S) { int F (); Cpred(N,A,F,S); } #define EOFCHAR (26) typedef union { long varno; long ivalue; double dvalue; struct { char *name; int arity; TERM *args; int aop; CELL index; } fct; } TermInfo;
#define T_VARIABLE (0) #define T_ATOM (1) #define T_INTEGER (2) #define T_DOUBLE (3) #define T_STRUCTURE (4)
int WhichTerm();
#define Call(fctptr) (*(fctptr))
extern int RResult(); extern int IResult(); extern DBL RArg(); extern INT IArg(); extern int IsIArg(); extern TERM Dr();
extern TERM MkOnOff(); extern int IsOnOff(); #define AFUNC(name,arity,fct) { int fct (); AFunc(name,arity,fct); }
#endif