Exemplo n.º 1
0
void Yap_InitCPredBack(const char *Name, arity_t Arity, arity_t Extra,
                       CPredicate Call, CPredicate Retry, pred_flags_t flags) {
  Yap_InitCPredBack_(Name, Arity, Extra, Call, Retry, NULL, flags);
}
Exemplo n.º 2
0
void Yap_InitCPredBackCut(const char *Name, arity_t Arity, arity_t Extra,
                          CPredicate Start, CPredicate Cont, CPredicate Cut,
                          pred_flags_t flags) {
  Yap_InitCPredBack_(Name, Arity, Extra, Start, Cont, Cut, flags);
}
Exemplo n.º 3
0
void Yap_InitCPredBack(const char *Name, UInt Arity, unsigned int Extra,
                       CPredicate Start, CPredicate Cont, pred_flags_t flags) {
  Yap_InitCPredBack_(Name, Arity, Extra, Start, Cont, NULL, flags);
}