YAP 7.1.0
Macros
c_interface.h File Reference
#include "YapInterface.h"

Go to the source code of this file.

Macros

#define _c_interface_h   1
 
#define CELL   YAP_CELL
 
#define Bool   YAP_Bool
 
#define Int   long int
 
#define flt   double
 
#define Term   YAP_Term
 
#define Functor   YAP_Functor
 
#define Atom   YAP_Atom
 
#define yap_init_args   YAP_init_args
 
#define A(X)   YAP_A(X)
 
#define ARG1   YAP_ARG1
 
#define ARG2   YAP_ARG2
 
#define ARG3   YAP_ARG3
 
#define ARG4   YAP_ARG4
 
#define ARG5   YAP_ARG5
 
#define ARG6   YAP_ARG6
 
#define ARG7   YAP_ARG7
 
#define ARG8   YAP_ARG8
 
#define ARG9   YAP_ARG9
 
#define ARG10   YAP_ARG10
 
#define ARG11   YAP_ARG11
 
#define ARG12   YAP_ARG12
 
#define ARG13   YAP_ARG13
 
#define ARG14   YAP_ARG14
 
#define ARG15   YAP_ARG15
 
#define ARG16   YAP_ARG16
 
#define Deref(t)   YAP_Deref(t)
 
#define YapDeref(t)   YAP_Deref(t)
 
#define IsVarTerm(t)   YAP_IsVarTerm(t)
 
#define YapIsVarTerm(t)   YAP_IsVarTerm(t)
 
#define IsNonVarTerm(t)   YAP_IsNonVarTerm(t)
 
#define YapIsNonVarTerm(t)   YAP_IsNonVarTerm(t)
 
#define MkVarTerm()   YAP_MkVarTerm()
 
#define YapMkVarTerm()   YAP_MkVarTerm()
 
#define IsIntTerm(t)   YAP_IsIntTerm(t)
 
#define YapIsIntTerm(t)   YAP_IsIntTerm(t)
 
#define IsFloatTerm(t)   YAP_IsFloatTerm(t)
 
#define YapIsFloatTerm(t)   YAP_IsFloatTerm(t)
 
#define IsDbRefTerm(t)   YAP_IsDbRefTerm(t)
 
#define YapIsDbRefTerm(t)   YAP_IsDbRefTerm(t)
 
#define IsAtomTerm(t)   YAP_IsAtomTerm(t)
 
#define YapIsAtomTerm(t)   YAP_IsAtomTerm(t)
 
#define IsPairTerm(t)   YAP_IsPairTerm(t)
 
#define YapIsPairTerm(t)   YAP_IsPairTerm(t)
 
#define IsApplTerm(t)   YAP_IsApplTerm(t)
 
#define YapIsApplTerm(t)   YAP_IsApplTerm(t)
 
#define MkIntTerm(t)   YAP_MkIntTerm(t)
 
#define YapMkIntTerm(t)   YAP_MkIntTerm(t)
 
#define IntOfTerm(t)   YAP_IntOfTerm(t)
 
#define YapIntOfTerm(t)   YAP_IntOfTerm(t)
 
#define MkFloatTerm(f)   YAP_MkFloatTerm(f)
 
#define YapMkFloatTerm(f)   YAP_MkFloatTerm(f)
 
#define FloatOfTerm(t)   YAP_FloatOfTerm(t)
 
#define YapFloatOfTerm(t)   YAP_FloatOfTerm(t)
 
#define MkAtomTerm(a)   YAP_MkAtomTerm(a)
 
#define YapMkAtomTerm(a)   YAP_MkAtomTerm(a)
 
#define AtomOfTerm(t)   YAP_AtomOfTerm(t)
 
#define YapAtomOfTerm(t)   YAP_AtomOfTerm(t)
 
#define LookupAtom(s)   YAP_LookupAtom(s)
 
#define YapLookupAtom(s)   YAP_LookupAtom(s)
 
#define FullLookupAtom(s)   YAP_FullLookupAtom(s)
 
#define YapFullLookupAtom(s)   YAP_FullLookupAtom(s)
 
#define AtomName(a)   YAP_AtomName(a)
 
#define YapAtomName(a)   YAP_AtomName(a)
 
#define MkPairTerm(h, t)   YAP_MkPairTerm(h,t)
 
#define YapMkPairTerm(h, t)   YAP_MkPairTerm(h,t)
 
#define MkNewPairTerm()   YAP_MkNewPairTerm()
 
#define YapMkNewPairTerm()   YAP_MkNewPairTerm()
 
#define HeadOfTerm(t)   YAP_HeadOfTerm(t)
 
#define YapHeadOfTerm(t)   YAP_HeadOfTerm(t)
 
#define TailOfTerm(t)   YAP_TailOfTerm(t)
 
#define YapTailOfTerm(t)   YAP_TailOfTerm(t)
 
#define MkApplTerm(f, i, ts)   YAP_MkApplTerm(f,i,ts)
 
#define YapMkApplTerm(f, i, ts)   YAP_MkApplTerm(f,i,ts)
 
#define MkNewApplTerm(f, i)   YAP_MkNewApplTerm(f,i)
 
#define YapMkNewApplTerm(f, i)   YAP_MkNewApplTerm(f,i)
 
#define FunctorOfTerm(t)   YAP_FunctorOfTerm(t)
 
#define YapFunctorOfTerm(t)   YAP_FunctorOfTerm(t)
 
#define ArgOfTerm(i, t)   YAP_ArgOfTerm(i,t)
 
#define YapArgOfTerm(i, t)   YAP_ArgOfTerm(i,t)
 
#define MkFunctor(a, i)   YAP_MkFunctor(a,i)
 
#define YapMkFunctor(a, i)   YAP_MkFunctor(a,i)
 
#define NameOfFunctor(f)   YAP_NameOfFunctor(f)
 
#define YapNameOfFunctor(f)   YAP_NameOfFunctor(f)
 
#define ArityOfFunctor(f)   YAP_ArityOfFunctor(f)
 
#define YapArityOfFunctor(f)   YAP_ArityOfFunctor(f)
 
#define PRESERVE_DATA(ptr, type)   (ptr = (type *)YAP_ExtraSpace())
 
#define PRESERVED_DATA(ptr, type)   (ptr = (type *)YAP_ExtraSpace())
 
#define PRESERVED_DATA_CUT(ptr, type)   (ptr = (type *)YAP_ExtraSpaceCut())
 
#define unify(t1, t2)   YAP_Unify(t1, t2)
 
#define YapUnify(t1, t2)   YAP_Unify(t1, t2)
 
#define UserCPredicate(s, f, i)   YAP_UserCPredicate(s,f,i);
 
#define UserBackCPredicate(s, f1, f2, i, i2)   YAP_UserBackCPredicate(s,f1,f2,i,i2)
 
#define UserCPredicateWithArgs(s, f, i1, i2)   YAP_UserCPredicateWithArgs(s,f,i1,i2)
 
#define CallProlog(t)   YAP_CallProlog(t)
 
#define YapCallProlog(t)   YAP_CallProlog(t)
 
#define cut_fail()   YAP_cut_fail()
 
#define cut_succeed()   YAP_cut_succeed()
 
#define AllocSpaceFromYap(s)   YAP_AllocSpaceFromYap(s)
 
#define FreeSpaceFromYap(s)   YAP_FreeSpaceFromYap(s)
 
#define RunGoal(t)   YAP_RunGoal(t)
 
#define YapRunGoal(t)   YAP_RunGoal(t)
 
#define RestartGoal()   YAP_RestartGoal()
 
#define YapRestartGoal()   YAP_RestartGoal()
 
#define ContinueGoal()   YAP_ContinueGoal()
 
#define YapContinueGoal()   YAP_ContinueGoal()
 
#define PruneGoal()   YAP_PruneGoal()
 
#define YapPruneGoal()   YAP_PruneGoal()
 
#define GoalHasException(tp)   YAP_GoalHasException(tp)
 
#define YapGoalHasException(tp)   YAP_GoalHasException(tp)
 
#define YapReset()   YAP_Reset()
 
#define YapError(s)   YAP_Error(s)
 
#define YapRead(f)   YAP_Read(f);
 
#define YapWrite(t, f)   YAP_Write(t,f);
 
#define CompileClause(t)   YAP_CompileClause(t)
 
#define YapCompileClause(t)   YAP_CompileClause(t)
 
#define YapInit(as)   YAP_Init(as)
 
#define YapFastInit(s)   YAP_FastInit(s)
 
#define YapInitConsult(i, s)   YAP_InitConsult(i,s)
 
#define YapEndConsult()   YAP_EndConsult()
 
#define YapExit(code)   YAP_Exit(code)
 
#define PutValue()   YAP_PutValue(a, t)
 
#define YapPutValue()   YAP_PutValue(a, t)
 
#define GetValue(a)   YAP_GetValue(a)
 
#define YapGetValue(a)   YAP_GetValue(a)
 
#define StringToBuffer(t, s, l)   YAP_StringToBuffer(t,s,l)
 
#define YapStringToBuffer(t, s, l)   YAP_StringToBuffer(t,s,l)
 
#define BufferToString(s)   YAP_BufferToString(s)
 
#define YapBufferToString(s)   YAP_BufferToString(s)
 
#define BufferToAtomList(s)   YAP_BufferToAtomList(s)
 
#define YapBufferToAtomList(s)   YAP_BufferToAtomList(s)
 
#define InitSocks(s, l)   YAP_InitSocks(s,l)
 
#define YapInitSocks(s, l)   YAP_InitSocks(s,l)
 
#define YapSetOutputMessage(s)   YAP_SetOutputMessage(s)
 
#define YapStreamToFileNo(st)   YAP_StreamToFileNo(st)
 
#define YapCloseAllOpenStreams()   YAP_CloseAllOpenStreams()
 
#define YapOpenStream(st, s, t, i)   YAP_OpenStream(st, s, t, i)
 

Macro Definition Documentation

◆ _c_interface_h

#define _c_interface_h   1

Definition at line 23 of file c_interface.h.

◆ A

#define A (   X)    YAP_A(X)

Definition at line 45 of file c_interface.h.

◆ AllocSpaceFromYap

#define AllocSpaceFromYap (   s)    YAP_AllocSpaceFromYap(s)

Definition at line 211 of file c_interface.h.

◆ ARG1

#define ARG1   YAP_ARG1

Definition at line 46 of file c_interface.h.

◆ ARG10

#define ARG10   YAP_ARG10

Definition at line 55 of file c_interface.h.

◆ ARG11

#define ARG11   YAP_ARG11

Definition at line 56 of file c_interface.h.

◆ ARG12

#define ARG12   YAP_ARG12

Definition at line 57 of file c_interface.h.

◆ ARG13

#define ARG13   YAP_ARG13

Definition at line 58 of file c_interface.h.

◆ ARG14

#define ARG14   YAP_ARG14

Definition at line 59 of file c_interface.h.

◆ ARG15

#define ARG15   YAP_ARG15

Definition at line 60 of file c_interface.h.

◆ ARG16

#define ARG16   YAP_ARG16

Definition at line 61 of file c_interface.h.

◆ ARG2

#define ARG2   YAP_ARG2

Definition at line 47 of file c_interface.h.

◆ ARG3

#define ARG3   YAP_ARG3

Definition at line 48 of file c_interface.h.

◆ ARG4

#define ARG4   YAP_ARG4

Definition at line 49 of file c_interface.h.

◆ ARG5

#define ARG5   YAP_ARG5

Definition at line 50 of file c_interface.h.

◆ ARG6

#define ARG6   YAP_ARG6

Definition at line 51 of file c_interface.h.

◆ ARG7

#define ARG7   YAP_ARG7

Definition at line 52 of file c_interface.h.

◆ ARG8

#define ARG8   YAP_ARG8

Definition at line 53 of file c_interface.h.

◆ ARG9

#define ARG9   YAP_ARG9

Definition at line 54 of file c_interface.h.

◆ ArgOfTerm

#define ArgOfTerm (   i,
  t 
)    YAP_ArgOfTerm(i,t)

Definition at line 168 of file c_interface.h.

◆ ArityOfFunctor

#define ArityOfFunctor (   f)    YAP_ArityOfFunctor(f)

Definition at line 180 of file c_interface.h.

◆ Atom

#define Atom   YAP_Atom

Definition at line 41 of file c_interface.h.

◆ AtomName

#define AtomName (   a)    YAP_AtomName(a)

Definition at line 136 of file c_interface.h.

◆ AtomOfTerm

#define AtomOfTerm (   t)    YAP_AtomOfTerm(t)

Definition at line 124 of file c_interface.h.

◆ Bool

#define Bool   YAP_Bool

Definition at line 30 of file c_interface.h.

◆ BufferToAtomList

#define BufferToAtomList (   s)    YAP_BufferToAtomList(s)

Definition at line 284 of file c_interface.h.

◆ BufferToString

#define BufferToString (   s)    YAP_BufferToString(s)

Definition at line 280 of file c_interface.h.

◆ CallProlog

#define CallProlog (   t)    YAP_CallProlog(t)

Definition at line 201 of file c_interface.h.

◆ CELL

#define CELL   YAP_CELL

Definition at line 27 of file c_interface.h.

◆ CompileClause

#define CompileClause (   t)    YAP_CompileClause(t)

Definition at line 249 of file c_interface.h.

◆ ContinueGoal

#define ContinueGoal ( )    YAP_ContinueGoal()

Definition at line 225 of file c_interface.h.

◆ cut_fail

#define cut_fail ( )    YAP_cut_fail()

Definition at line 205 of file c_interface.h.

◆ cut_succeed

#define cut_succeed ( )    YAP_cut_succeed()

Definition at line 208 of file c_interface.h.

◆ Deref

#define Deref (   t)    YAP_Deref(t)

Definition at line 64 of file c_interface.h.

◆ FloatOfTerm

#define FloatOfTerm (   t)    YAP_FloatOfTerm(t)

Definition at line 116 of file c_interface.h.

◆ flt

#define flt   double

Definition at line 35 of file c_interface.h.

◆ FreeSpaceFromYap

#define FreeSpaceFromYap (   s)    YAP_FreeSpaceFromYap(s)

Definition at line 214 of file c_interface.h.

◆ FullLookupAtom

#define FullLookupAtom (   s)    YAP_FullLookupAtom(s)

Definition at line 132 of file c_interface.h.

◆ Functor

#define Functor   YAP_Functor

Definition at line 39 of file c_interface.h.

◆ FunctorOfTerm

#define FunctorOfTerm (   t)    YAP_FunctorOfTerm(t)

Definition at line 164 of file c_interface.h.

◆ GetValue

#define GetValue (   a)    YAP_GetValue(a)

Definition at line 272 of file c_interface.h.

◆ GoalHasException

#define GoalHasException (   tp)    YAP_GoalHasException(tp)

Definition at line 233 of file c_interface.h.

◆ HeadOfTerm

#define HeadOfTerm (   t)    YAP_HeadOfTerm(t)

Definition at line 148 of file c_interface.h.

◆ InitSocks

#define InitSocks (   s,
  l 
)    YAP_InitSocks(s,l)

Definition at line 288 of file c_interface.h.

◆ Int

#define Int   long int

Definition at line 33 of file c_interface.h.

◆ IntOfTerm

#define IntOfTerm (   t)    YAP_IntOfTerm(t)

Definition at line 108 of file c_interface.h.

◆ IsApplTerm

#define IsApplTerm (   t)    YAP_IsApplTerm(t)

Definition at line 100 of file c_interface.h.

◆ IsAtomTerm

#define IsAtomTerm (   t)    YAP_IsAtomTerm(t)

Definition at line 92 of file c_interface.h.

◆ IsDbRefTerm

#define IsDbRefTerm (   t)    YAP_IsDbRefTerm(t)

Definition at line 88 of file c_interface.h.

◆ IsFloatTerm

#define IsFloatTerm (   t)    YAP_IsFloatTerm(t)

Definition at line 84 of file c_interface.h.

◆ IsIntTerm

#define IsIntTerm (   t)    YAP_IsIntTerm(t)

Definition at line 80 of file c_interface.h.

◆ IsNonVarTerm

#define IsNonVarTerm (   t)    YAP_IsNonVarTerm(t)

Definition at line 72 of file c_interface.h.

◆ IsPairTerm

#define IsPairTerm (   t)    YAP_IsPairTerm(t)

Definition at line 96 of file c_interface.h.

◆ IsVarTerm

#define IsVarTerm (   t)    YAP_IsVarTerm(t)

Definition at line 68 of file c_interface.h.

◆ LookupAtom

#define LookupAtom (   s)    YAP_LookupAtom(s)

Definition at line 128 of file c_interface.h.

◆ MkApplTerm

#define MkApplTerm (   f,
  i,
  ts 
)    YAP_MkApplTerm(f,i,ts)

Definition at line 156 of file c_interface.h.

◆ MkAtomTerm

#define MkAtomTerm (   a)    YAP_MkAtomTerm(a)

Definition at line 120 of file c_interface.h.

◆ MkFloatTerm

#define MkFloatTerm (   f)    YAP_MkFloatTerm(f)

Definition at line 112 of file c_interface.h.

◆ MkFunctor

#define MkFunctor (   a,
  i 
)    YAP_MkFunctor(a,i)

Definition at line 172 of file c_interface.h.

◆ MkIntTerm

#define MkIntTerm (   t)    YAP_MkIntTerm(t)

Definition at line 104 of file c_interface.h.

◆ MkNewApplTerm

#define MkNewApplTerm (   f,
  i 
)    YAP_MkNewApplTerm(f,i)

Definition at line 160 of file c_interface.h.

◆ MkNewPairTerm

#define MkNewPairTerm ( )    YAP_MkNewPairTerm()

Definition at line 144 of file c_interface.h.

◆ MkPairTerm

#define MkPairTerm (   h,
  t 
)    YAP_MkPairTerm(h,t)

Definition at line 140 of file c_interface.h.

◆ MkVarTerm

#define MkVarTerm ( )    YAP_MkVarTerm()

Definition at line 76 of file c_interface.h.

◆ NameOfFunctor

#define NameOfFunctor (   f)    YAP_NameOfFunctor(f)

Definition at line 176 of file c_interface.h.

◆ PRESERVE_DATA

#define PRESERVE_DATA (   ptr,
  type 
)    (ptr = (type *)YAP_ExtraSpace())

Definition at line 183 of file c_interface.h.

◆ PRESERVED_DATA

#define PRESERVED_DATA (   ptr,
  type 
)    (ptr = (type *)YAP_ExtraSpace())

Definition at line 184 of file c_interface.h.

◆ PRESERVED_DATA_CUT

#define PRESERVED_DATA_CUT (   ptr,
  type 
)    (ptr = (type *)YAP_ExtraSpaceCut())

Definition at line 185 of file c_interface.h.

◆ PruneGoal

#define PruneGoal ( )    YAP_PruneGoal()

Definition at line 229 of file c_interface.h.

◆ PutValue

#define PutValue ( )    YAP_PutValue(a, t)

Definition at line 268 of file c_interface.h.

◆ RestartGoal

#define RestartGoal ( )    YAP_RestartGoal()

Definition at line 221 of file c_interface.h.

◆ RunGoal

#define RunGoal (   t)    YAP_RunGoal(t)

Definition at line 217 of file c_interface.h.

◆ StringToBuffer

#define StringToBuffer (   t,
  s,
  l 
)    YAP_StringToBuffer(t,s,l)

Definition at line 276 of file c_interface.h.

◆ TailOfTerm

#define TailOfTerm (   t)    YAP_TailOfTerm(t)

Definition at line 152 of file c_interface.h.

◆ Term

#define Term   YAP_Term

Definition at line 37 of file c_interface.h.

◆ unify

#define unify (   t1,
  t2 
)    YAP_Unify(t1, t2)

Definition at line 188 of file c_interface.h.

◆ UserBackCPredicate

#define UserBackCPredicate (   s,
  f1,
  f2,
  i,
  i2 
)    YAP_UserBackCPredicate(s,f1,f2,i,i2)

Definition at line 196 of file c_interface.h.

◆ UserCPredicate

#define UserCPredicate (   s,
  f,
  i 
)    YAP_UserCPredicate(s,f,i);

Definition at line 192 of file c_interface.h.

◆ UserCPredicateWithArgs

#define UserCPredicateWithArgs (   s,
  f,
  i1,
  i2 
)    YAP_UserCPredicateWithArgs(s,f,i1,i2)

Definition at line 199 of file c_interface.h.

◆ yap_init_args

#define yap_init_args   YAP_init_args

Definition at line 43 of file c_interface.h.

◆ YapArgOfTerm

#define YapArgOfTerm (   i,
  t 
)    YAP_ArgOfTerm(i,t)

Definition at line 169 of file c_interface.h.

◆ YapArityOfFunctor

#define YapArityOfFunctor (   f)    YAP_ArityOfFunctor(f)

Definition at line 181 of file c_interface.h.

◆ YapAtomName

#define YapAtomName (   a)    YAP_AtomName(a)

Definition at line 137 of file c_interface.h.

◆ YapAtomOfTerm

#define YapAtomOfTerm (   t)    YAP_AtomOfTerm(t)

Definition at line 125 of file c_interface.h.

◆ YapBufferToAtomList

#define YapBufferToAtomList (   s)    YAP_BufferToAtomList(s)

Definition at line 285 of file c_interface.h.

◆ YapBufferToString

#define YapBufferToString (   s)    YAP_BufferToString(s)

Definition at line 281 of file c_interface.h.

◆ YapCallProlog

#define YapCallProlog (   t)    YAP_CallProlog(t)

Definition at line 202 of file c_interface.h.

◆ YapCloseAllOpenStreams

#define YapCloseAllOpenStreams ( )    YAP_CloseAllOpenStreams()

Definition at line 307 of file c_interface.h.

◆ YapCompileClause

#define YapCompileClause (   t)    YAP_CompileClause(t)

Definition at line 250 of file c_interface.h.

◆ YapContinueGoal

#define YapContinueGoal ( )    YAP_ContinueGoal()

Definition at line 226 of file c_interface.h.

◆ YapDeref

#define YapDeref (   t)    YAP_Deref(t)

Definition at line 65 of file c_interface.h.

◆ YapEndConsult

#define YapEndConsult ( )    YAP_EndConsult()

Definition at line 262 of file c_interface.h.

◆ YapError

#define YapError (   s)    YAP_Error(s)

Definition at line 240 of file c_interface.h.

◆ YapExit

#define YapExit (   code)    YAP_Exit(code)

Definition at line 265 of file c_interface.h.

◆ YapFastInit

#define YapFastInit (   s)    YAP_FastInit(s)

Definition at line 256 of file c_interface.h.

◆ YapFloatOfTerm

#define YapFloatOfTerm (   t)    YAP_FloatOfTerm(t)

Definition at line 117 of file c_interface.h.

◆ YapFullLookupAtom

#define YapFullLookupAtom (   s)    YAP_FullLookupAtom(s)

Definition at line 133 of file c_interface.h.

◆ YapFunctorOfTerm

#define YapFunctorOfTerm (   t)    YAP_FunctorOfTerm(t)

Definition at line 165 of file c_interface.h.

◆ YapGetValue

#define YapGetValue (   a)    YAP_GetValue(a)

Definition at line 273 of file c_interface.h.

◆ YapGoalHasException

#define YapGoalHasException (   tp)    YAP_GoalHasException(tp)

Definition at line 234 of file c_interface.h.

◆ YapHeadOfTerm

#define YapHeadOfTerm (   t)    YAP_HeadOfTerm(t)

Definition at line 149 of file c_interface.h.

◆ YapInit

#define YapInit (   as)    YAP_Init(as)

Definition at line 253 of file c_interface.h.

◆ YapInitConsult

#define YapInitConsult (   i,
  s 
)    YAP_InitConsult(i,s)

Definition at line 259 of file c_interface.h.

◆ YapInitSocks

#define YapInitSocks (   s,
  l 
)    YAP_InitSocks(s,l)

Definition at line 289 of file c_interface.h.

◆ YapIntOfTerm

#define YapIntOfTerm (   t)    YAP_IntOfTerm(t)

Definition at line 109 of file c_interface.h.

◆ YapIsApplTerm

#define YapIsApplTerm (   t)    YAP_IsApplTerm(t)

Definition at line 101 of file c_interface.h.

◆ YapIsAtomTerm

#define YapIsAtomTerm (   t)    YAP_IsAtomTerm(t)

Definition at line 93 of file c_interface.h.

◆ YapIsDbRefTerm

#define YapIsDbRefTerm (   t)    YAP_IsDbRefTerm(t)

Definition at line 89 of file c_interface.h.

◆ YapIsFloatTerm

#define YapIsFloatTerm (   t)    YAP_IsFloatTerm(t)

Definition at line 85 of file c_interface.h.

◆ YapIsIntTerm

#define YapIsIntTerm (   t)    YAP_IsIntTerm(t)

Definition at line 81 of file c_interface.h.

◆ YapIsNonVarTerm

#define YapIsNonVarTerm (   t)    YAP_IsNonVarTerm(t)

Definition at line 73 of file c_interface.h.

◆ YapIsPairTerm

#define YapIsPairTerm (   t)    YAP_IsPairTerm(t)

Definition at line 97 of file c_interface.h.

◆ YapIsVarTerm

#define YapIsVarTerm (   t)    YAP_IsVarTerm(t)

Definition at line 69 of file c_interface.h.

◆ YapLookupAtom

#define YapLookupAtom (   s)    YAP_LookupAtom(s)

Definition at line 129 of file c_interface.h.

◆ YapMkApplTerm

#define YapMkApplTerm (   f,
  i,
  ts 
)    YAP_MkApplTerm(f,i,ts)

Definition at line 157 of file c_interface.h.

◆ YapMkAtomTerm

#define YapMkAtomTerm (   a)    YAP_MkAtomTerm(a)

Definition at line 121 of file c_interface.h.

◆ YapMkFloatTerm

#define YapMkFloatTerm (   f)    YAP_MkFloatTerm(f)

Definition at line 113 of file c_interface.h.

◆ YapMkFunctor

#define YapMkFunctor (   a,
  i 
)    YAP_MkFunctor(a,i)

Definition at line 173 of file c_interface.h.

◆ YapMkIntTerm

#define YapMkIntTerm (   t)    YAP_MkIntTerm(t)

Definition at line 105 of file c_interface.h.

◆ YapMkNewApplTerm

#define YapMkNewApplTerm (   f,
  i 
)    YAP_MkNewApplTerm(f,i)

Definition at line 161 of file c_interface.h.

◆ YapMkNewPairTerm

#define YapMkNewPairTerm ( )    YAP_MkNewPairTerm()

Definition at line 145 of file c_interface.h.

◆ YapMkPairTerm

#define YapMkPairTerm (   h,
  t 
)    YAP_MkPairTerm(h,t)

Definition at line 141 of file c_interface.h.

◆ YapMkVarTerm

#define YapMkVarTerm ( )    YAP_MkVarTerm()

Definition at line 77 of file c_interface.h.

◆ YapNameOfFunctor

#define YapNameOfFunctor (   f)    YAP_NameOfFunctor(f)

Definition at line 177 of file c_interface.h.

◆ YapOpenStream

#define YapOpenStream (   st,
  s,
  t,
  i 
)    YAP_OpenStream(st, s, t, i)

Definition at line 310 of file c_interface.h.

◆ YapPruneGoal

#define YapPruneGoal ( )    YAP_PruneGoal()

Definition at line 230 of file c_interface.h.

◆ YapPutValue

#define YapPutValue ( )    YAP_PutValue(a, t)

Definition at line 269 of file c_interface.h.

◆ YapRead

#define YapRead (   f)    YAP_Read(f);

Definition at line 243 of file c_interface.h.

◆ YapReset

#define YapReset ( )    YAP_Reset()

Definition at line 237 of file c_interface.h.

◆ YapRestartGoal

#define YapRestartGoal ( )    YAP_RestartGoal()

Definition at line 222 of file c_interface.h.

◆ YapRunGoal

#define YapRunGoal (   t)    YAP_RunGoal(t)

Definition at line 218 of file c_interface.h.

◆ YapSetOutputMessage

#define YapSetOutputMessage (   s)    YAP_SetOutputMessage(s)

Definition at line 301 of file c_interface.h.

◆ YapStreamToFileNo

#define YapStreamToFileNo (   st)    YAP_StreamToFileNo(st)

Definition at line 304 of file c_interface.h.

◆ YapStringToBuffer

#define YapStringToBuffer (   t,
  s,
  l 
)    YAP_StringToBuffer(t,s,l)

Definition at line 277 of file c_interface.h.

◆ YapTailOfTerm

#define YapTailOfTerm (   t)    YAP_TailOfTerm(t)

Definition at line 153 of file c_interface.h.

◆ YapUnify

#define YapUnify (   t1,
  t2 
)    YAP_Unify(t1, t2)

Definition at line 189 of file c_interface.h.

◆ YapWrite

#define YapWrite (   t,
  f 
)    YAP_Write(t,f);

Definition at line 246 of file c_interface.h.