![]() |
GNU PROLOG with UTF8 support
|
Go to the source code of this file.
Functions | |
char * | Pl_Detect_If_Aux_Name (int func) |
int | Pl_Father_Pred_Of_Aux (int func, int *father_arity) |
int | Pl_Pred_Without_Aux (int func, int arity, int *arity1) |
int | Pl_Make_Aux_Name (int func, int arity, int aux_nb) |
char* Pl_Detect_If_Aux_Name | ( | int | func | ) |
int Pl_Father_Pred_Of_Aux | ( | int | func, |
int * | father_arity | ||
) |
int Pl_Make_Aux_Name | ( | int | func, |
int | arity, | ||
int | aux_nb | ||
) |
int Pl_Pred_Without_Aux | ( | int | func, |
int | arity, | ||
int * | arity1 | ||
) |