10 #define copyPsiTerm(a,b) (ptr_psi_term )memcpy(a,b,sizeof(psi_term))
49 Errorline(
"bad first argument in %P.\n",t);
65 Errorline(
"bad second argument in %P.\n",t);
122 printf(
"*** Verbose mode is turned ");
123 printf(
verbose?
"on.\n":
"off.\n");
220 thetime=(
life_end.tms_utime-life_start.tms_utime)/60.0;
222 success=(val==thetime);
250 gettimeofday(&tp, &tzp);
251 thetime=(
REAL)tp.tv_sec + ((
REAL)tp.tv_usec/1000000.0);
254 success=(val==thetime);
282 gettimeofday(&tp, &tzp);
283 thetime=localtime((time_t *) &(tp.tv_sec));
321 printf(
"Stack size : %8ld bytes (%5ldK) (%ld%%)\n",t1,t1/1024,100*t1/t3);
322 printf(
"Heap size : %8ld bytes (%5ldK) (%ld%%)\n",t2,t2/1024,100*t2/t3);
323 printf(
"Total memory: %8ld bytes (%5ldK)\n",t3,t3/1024);
326 printf(
"X predicates are installed.\n");
328 printf(
"X predicates are not installed.\n");
376 s=getenv((
char *)arg1->
value_3);
389 Errorline(
"argument missing in %P\n",funct);
419 Errorline(
"could not execute shell in %P.\n",funct);
428 Errorline(
"bad argument in %P.\n",funct);
432 Errorline(
"bad argument in %P.\n",funct);
600 head=(*nextFunc)(head);
674 if ((!arg1)||(!arg2)) {
675 Errorline(
"%P requires two arguments.\n",pred);
710 if ((!arg1)||(!arg2)) {
711 Errorline(
"%P requires two arguments.\n",pred);
734 Errorline(
"%P should be a nil-terminated list in mresiduate.\n",arg1);
ptr_psi_term makePsiTerm(ptr_definition x)
ptr_psi_term makePsiTerm
void new_built_in(ptr_module m, char *s, def_type t, long(*r)())
new_built_in
static long c_mresiduate()
c_mresiduate
GENERIC unitListNext()
set unitListElement to NULL & return NULL
static long c_garbage()
c_garbage
void get_two_args(ptr_node t, ptr_psi_term *a, ptr_psi_term *b)
get_two_args
ptr_psi_term stack_cons(ptr_psi_term head, ptr_psi_term tail)
stack_cons
static long c_step()
c_step
void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
push_goal
static long c_realtime()
c_realtime
void unify_bool_result(ptr_psi_term t, long v)
unify_bool_result
#define copyPsiTerm(a, b)
long get_real_value(ptr_psi_term t, REAL *v, long *n)
get_real_value
long matches(ptr_definition t1, ptr_definition t2, long *smaller)
matches
#define DEFRULES
Must be different from NULL, a built-in index, and a pointer Used to indicate that the rules of the d...
long residuateGoalOnVar(ptr_goal g, ptr_psi_term var, ptr_psi_term othervar)
residuateGoalOnVar
void toggle_step()
toggle_step
void get_one_arg(ptr_node t, ptr_psi_term *a)
get_one_arg
struct wl_psi_term * ptr_psi_term
quotedStackCopy
struct tms life_start life_end
ptr_psi_term quotedStackCopy(psi_term p)
#define REAL
Which C type to use to represent reals and integers in Wild_Life.
void insert_system_builtins()
insert_system_builtins
ptr_psi_term unitListValue()
make psi term from unitListElement
static long c_verbose()
c_verbose
void Errorline(char *format,...)
Errorline.
unsigned long * GENERIC
unsigned long *GENERIC
void stack_add_int_attr(ptr_psi_term t, char *attrname, long value)
stack_add_int_attr
void set_trace_to_prove()
set_trace_to_prove
void infoline(char *format,...)
infoline
char * heap_copy_string(char *s)
heap_copy_string
static long c_residuate()
c_residuate
#define TRUE
Standard boolean.
static long c_getenv()
c_getenv
#define FALSE
Standard boolean.
ptr_definition quoted_string
ptr_psi_term stack_psi_term(long stat)
stack_psi_term
void toggle_trace()
toggle_trace
ptr_psi_term intListValue(ptr_int_list p)
ptr_psi_term intListValue
ptr_psi_term stack_nil()
stack_nil
ptr_goal makeGoal(ptr_psi_term p)
makeGoal
void mark_quote(ptr_psi_term t)
mark_quote
static long c_warning()
c_warning
ptr_psi_term stack_copy_psi_term(psi_term t)
stack_copy_psi_term
void encode_types()
encode_types
GENERIC residListNext(ptr_residuation p)
residListNext
static long c_system()
c_system
#define WL_MAXINT
Maximum exactly representable integer (2^53-1 for double IEEE format)
static long c_cputime()
c_cputime
static long c_residList()
c_residList()
long unify_real_result(ptr_psi_term t, REAL v)
unify_real_result
GENERIC intListNext(ptr_int_list p)
intListNext
ptr_psi_term makePsiList(GENERIC head, ptr_psi_term(*valueFunc)(), GENERIC(*nextFunc)())
makePsiList
static long c_encode()
c_encode
static long c_localtime()
localtime
static GENERIC unitListElement
ptr_psi_term residListGoalQuote(ptr_residuation p)
residListGoalQuote
static long c_maxint()
c_maxint
static long c_statistics()
c_statistics
void setUnitList(GENERIC x)
setUnitList(GENERIC x)