8 #define copyPsiTerm(a,b) (ptr_psi_term )memcpy(a,b,sizeof(psi_term))
39 Errorline(
"bad first argument in %P.\n",t);
55 Errorline(
"bad second argument in %P.\n",t);
100 printf(
"*** Verbose mode is turned ");
101 printf(
verbose?
"on.\n":
"off.\n");
188 thetime=(
life_end.tms_utime-life_start.tms_utime)/60.0;
190 success=(val==thetime);
215 gettimeofday(&tp, &tzp);
216 thetime=(
REAL)tp.tv_sec + ((
REAL)tp.tv_usec/1000000.0);
219 success=(val==thetime);
244 gettimeofday(&tp, &tzp);
245 thetime=localtime((time_t *) &(tp.tv_sec));
280 printf(
"Stack size : %8ld bytes (%5ldK) (%ld%%)\n",t1,t1/1024,100*t1/t3);
281 printf(
"Heap size : %8ld bytes (%5ldK) (%ld%%)\n",t2,t2/1024,100*t2/t3);
282 printf(
"Total memory: %8ld bytes (%5ldK)\n",t3,t3/1024);
285 printf(
"X predicates are installed.\n");
287 printf(
"X predicates are not installed.\n");
329 s=getenv((
char *)arg1->
value_3);
342 Errorline(
"argument missing in %P\n",funct);
368 Errorline(
"could not execute shell in %P.\n",funct);
377 Errorline(
"bad argument in %P.\n",funct);
381 Errorline(
"bad argument in %P.\n",funct);
494 head=(*nextFunc)(head);
560 if ((!arg1)||(!arg2)) {
561 Errorline(
"%P requires two arguments.\n",pred);
593 if ((!arg1)||(!arg2)) {
594 Errorline(
"%P requires two arguments.\n",pred);
617 Errorline(
"%P should be a nil-terminated list in mresiduate.\n",arg1);
ptr_psi_term makePsiTerm(ptr_definition x)
void new_built_in(ptr_module m, char *s, def_type t, long(*r)())
static long c_mresiduate()
void get_two_args(ptr_node t, ptr_psi_term *a, ptr_psi_term *b)
ptr_psi_term stack_cons(ptr_psi_term head, ptr_psi_term tail)
void push_goal(goals t, ptr_psi_term a, ptr_psi_term b, GENERIC c)
void unify_bool_result(ptr_psi_term t, long v)
#define copyPsiTerm(a, b)
long get_real_value(ptr_psi_term t, REAL *v, long *n)
long matches(ptr_definition t1, ptr_definition t2, long *smaller)
long residuateGoalOnVar(ptr_goal g, ptr_psi_term var, ptr_psi_term othervar)
void get_one_arg(ptr_node t, ptr_psi_term *a)
struct tms life_start life_end
ptr_psi_term quotedStackCopy(psi_term p)
void insert_system_builtins()
ptr_psi_term unitListValue()
void Errorline(char *format,...)
char * heap_copy_string(char *s)
void stack_add_int_attr(ptr_psi_term t, char *attrname, long value)
void set_trace_to_prove()
void infoline(char *format,...)
static long c_residuate()
ptr_definition quoted_string
ptr_psi_term stack_psi_term(long stat)
ptr_psi_term intListValue(ptr_int_list p)
ptr_goal makeGoal(ptr_psi_term p)
void mark_quote(ptr_psi_term t)
ptr_psi_term stack_copy_psi_term(psi_term t)
GENERIC residListNext(ptr_residuation p)
struct wl_psi_term * ptr_psi_term
static long c_residList()
long unify_real_result(ptr_psi_term t, REAL v)
GENERIC intListNext(ptr_int_list p)
ptr_psi_term makePsiList(GENERIC head, ptr_psi_term(*valueFunc)(), GENERIC(*nextFunc)())
static long c_localtime()
static GENERIC unitListElement
ptr_psi_term residListGoalQuote(ptr_residuation p)
static long c_statistics()
void setUnitList(GENERIC x)