![]() |
GNU PROLOG with UTF8 support
|
#include <sys/types.h>#include "engine_pl.h"#include "bips_pl.h"#include <unistd.h>#include <sys/wait.h>
Macros | |
| #define | OBJ_INIT Expand_Initializer |
| #define | OPT_EQUAL_BETWEEN_IN_OUT_VARS 2 |
Functions | |
| static WamWord | Dcg_Head (WamWord dcg_head_word, WamWord *in_word, WamWord *out_word, WamWord **end_lst_adr) |
| static WamWord | Dcg_Body (WamWord dcg_body_word, Bool for_alt, WamWord in_word, WamWord out_word, WamWord *end_lst_adr) |
| static void | Dcg_Body_On_Stack (WamWord dcg_body_word, Bool opt_equal_between_in_out_vars, WamWord in_word, WamWord out_word) |
| static void | Dcg_Term_List_On_Stack (WamWord *lst_adr, WamWord in_word, WamWord out_word) |
| static WamWord | Dcg_Compound1 (int func, WamWord w1) |
| static WamWord | Dcg_Compound2 (int func, WamWord w1, WamWord w2) |
| static void | Expand_Initializer (void) |
| Bool | Pl_Dcg_Trans_Rule_2 (WamWord rule_word, WamWord clause_word) |
| Bool | Pl_Dcg_Trans_Body_4 (WamWord dcg_body_word, WamWord in_word, WamWord out_word, WamWord body_word) |
Variables | |
| static WamWord * | top |
| static Bool | opt_term_unif |
| static int | atom_clause |
| static int | atom_phrase |
| static int | atom_if |
| static int | atom_soft_if |
| static int | atom_neg |
| static WamWord | dcg_2 |
| #define OBJ_INIT Expand_Initializer |
| #define OPT_EQUAL_BETWEEN_IN_OUT_VARS 2 |
|
static |


|
static |




|
static |




|
static |

| Bool Pl_Dcg_Trans_Body_4 | ( | WamWord | dcg_body_word, |
| WamWord | in_word, | ||
| WamWord | out_word, | ||
| WamWord | body_word | ||
| ) |


|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
1.8.11