ref: 480de114963ecee700ece5b8793916726c04b9ab
dir: /main.c/
#include <u.h>
#include <libc.h>
#include <bio.h>
#include "dat.h"
#include "fns.h"
void usage(void);
void repl(int, char **);
void
main(int argc, char *argv[])
{
ARGBEGIN{
case 'd':
debug = 1;
break;
default:
usage();
}ARGEND
clausenr = 2; /* Start at two since 0 is for the facts in the database, and 1 is for queries */
initflags();
initstreams();
initmodules();
repl(argc, argv);
exits(nil);
}
void
usage(void)
{
fprint(2, "Usage: pprolog [-d] modulefiles\n");
exits("Usage");
}
void
repl(int argc, char *argv[])
{
USED(argc);
USED(argv);
Term *mod = mkatom(L"repl");
Term *pred = mkatom(L"repl");
mod->next = pred;
Term *goal = mkcompound(L":", 2, mod);
evalquery(goal);
}