assert_c.c File Reference

#include "engine_pl.h"
#include "bips_pl.h"

Include dependency graph for assert_c.c:

Functions
static Bool	Clause_Alt (DynCInf *clause, WamWord *w)
static Bool	Retract_Alt (DynCInf *clause, WamWord *w)
void	Pl_Assert_5 (WamWord head_word, WamWord body_word, WamWord asserta_word, WamWord check_perm_word, WamWord pl_file_word)
Bool	Pl_Clause_3 (WamWord head_word, WamWord body_word, WamWord for_what_word)
Bool	Pl_Retract_2 (WamWord head_word, WamWord body_word)
void	Pl_Retract_Last_Found_0 (void)
void	Pl_Setarg_Of_Last_Found_2 (WamWord arg_no_word, WamWord new_value_word)
Bool	Pl_Retractall_If_Empty_Head_1 (WamWord head_word)
void	Pl_Abolish_1 (WamWord pred_indic_word)
void	Pl_Remove_Predicate_2 (WamWord name_word, WamWord arity_word)

Variables
static DynCInf *	last_clause

Function Documentation

static Bool Clause_Alt ( DynCInf *  clause, WamWord *  w  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

void Pl_Abolish_1

(

WamWord

pred_indic_word

)

Here is the call graph for this function:

void Pl_Assert_5	(	WamWord	head_word,
		WamWord	body_word,
		WamWord	asserta_word,
		WamWord	check_perm_word,
		WamWord	pl_file_word
	)

Here is the call graph for this function:

Bool Pl_Clause_3	(	WamWord	head_word,
		WamWord	body_word,
		WamWord	for_what_word
	)

Here is the call graph for this function:

void Pl_Remove_Predicate_2	(	WamWord	name_word,
		WamWord	arity_word
	)

Here is the call graph for this function:

Bool Pl_Retract_2	(	WamWord	head_word,
		WamWord	body_word
	)

Here is the call graph for this function:

void Pl_Retract_Last_Found_0

(

void

)

Here is the call graph for this function:

Bool Pl_Retractall_If_Empty_Head_1

(

WamWord

head_word

)

Here is the call graph for this function:

void Pl_Setarg_Of_Last_Found_2	(	WamWord	arg_no_word,
		WamWord	new_value_word
	)

Here is the call graph for this function:

static Bool Retract_Alt ( DynCInf *  clause, WamWord *  w  )

static

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

DynCInf* last_clause

static