![]() |
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 |