main.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

#include <u.h>
#include <libc.h>
#include <bio.h>

#include "dat.h"
#include "fns.h"

void usage(void);

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();

	while(argc != 0){
		parsemodule(argv[0]);
		argc--;
		argv++;
	}

	repl();
	exits(nil);
}

void
usage(void)
{
	fprint(2, "Usage: pprolog [-d] modulefiles\n");
	exits("Usage");
}