Index of /research/projects/poplog/doc/prologhelp

	Name	Last modified	Size	Description
	Parent Directory		-
	abolish	19-Jul-1999 01:41	1.4K
	abort	19-Jul-1999 01:41	614
	and	19-Jul-1999 01:41	384
	append	19-Jul-1999 01:41	1.5K
	are	19-Jul-1999 01:41	2.0K
	arg	19-Jul-1999 01:41	710
	arithmetic	19-Jul-1999 01:41	2.5K
	arrow	19-Jul-1999 01:41	1.9K
	assert	19-Jul-1999 01:41	717
	asserta	19-Jul-1999 01:41	640
	assertz	19-Jul-1999 01:41	768
	atom	19-Jul-1999 01:41	442
	atomic	19-Jul-1999 01:41	662
	bagof	19-Jul-1999 01:41	1.6K
	bitwise	19-Jul-1999 01:41	1.4K
	break	19-Jul-1999 01:41	555
	builtin	19-Jul-1999 01:41	145
	call	19-Jul-1999 01:41	3.2K
	catch	19-Jul-1999 01:41	3.2K
	chartype	19-Jul-1999 01:41	2.2K
	chatty	19-Jul-1999 01:41	2.6K
	clause	19-Jul-1999 01:41	1.1K
	clauses	19-Jul-1999 01:41	1.5K
	clausify	19-Jul-1999 01:41	2.1K
	close	19-Jul-1999 01:41	881
	comma	19-Jul-1999 01:41	675
	commands	19-Jul-1999 01:41	3.8K
	compare	19-Jul-1999 01:41	4.0K
	compatibility	19-Jul-1999 01:41	3.1K
	compile	19-Jul-1999 01:41	10K
	conditional	19-Jul-1999 01:41	1.8K
	consult	19-Jul-1999 01:41	1.3K
	current_atom	19-Jul-1999 01:41	826
	current_disk	19-Jul-1999 01:41	4.0K
	current_functor	19-Jul-1999 01:41	1.1K
	current_op	19-Jul-1999 01:41	1.2K
	current_predicate	19-Jul-1999 01:41	1.0K
	cut	19-Jul-1999 01:41	887
	database	19-Jul-1999 01:41	1.8K
	date	19-Jul-1999 01:41	880
	dcgr	19-Jul-1999 01:41	65
	debug	19-Jul-1999 01:41	9.5K
	debugging	19-Jul-1999 01:41	1.3K
	dec10	19-Jul-1999 01:41	2.4K
	dec10_ops	19-Jul-1999 01:41	4.1K
	default_ops	19-Jul-1999 01:41	1.0K
	details	19-Jul-1999 01:41	61
	directives	19-Jul-1999 01:41	2.2K
	display	19-Jul-1999 01:41	949
	div	19-Jul-1999 01:41	1.6K
	divide	19-Jul-1999 01:41	2.2K
	dollar	19-Jul-1999 01:41	2.3K
	dynamic	19-Jul-1999 01:41	7.4K
	edinsynt	19-Jul-1999 01:41	2.5K
	efficiency	19-Jul-1999 01:41	2.9K
	equal	19-Jul-1999 01:41	2.0K
	error	19-Jul-1999 01:41	8.9K
	errors	19-Jul-1999 01:41	147
	exclamation	19-Jul-1999 01:41	319
	expand_term	19-Jul-1999 01:41	1.8K
	fail	19-Jul-1999 01:41	897
	fast_bagof	19-Jul-1999 01:41	1.5K
	fast_setof	19-Jul-1999 01:41	1.5K
	findall	19-Jul-1999 01:41	2.4K
	float	19-Jul-1999 01:41	738
	format	19-Jul-1999 01:41	6.2K
	functor	19-Jul-1999 01:41	1.0K
	gensym	19-Jul-1999 01:41	1.6K
	get	19-Jul-1999 01:41	800
	get0	19-Jul-1999 01:41	918
	glossary	19-Jul-1999 01:41	7.3K
	grammar_rule	19-Jul-1999 01:41	5.8K
	grammars	19-Jul-1999 01:41	1.5K
	greaterthan	19-Jul-1999 01:41	1.2K
	halt	19-Jul-1999 01:41	600
	helpfiles	19-Jul-1999 01:41	14K
	higher_order	19-Jul-1999 01:41	5.4K
	i_o	19-Jul-1999 01:41	11K
	incore	19-Jul-1999 01:41	237
	integer	19-Jul-1999 01:41	491
	is	19-Jul-1999 01:41	3.9K
	keysort	19-Jul-1999 01:41	905
	languages	19-Jul-1999 01:41	65
	leash	19-Jul-1999 01:41	1.3K
	length	19-Jul-1999 01:41	482
	lerngram	19-Jul-1999 01:41	3.0K
	lessthan	19-Jul-1999 01:41	1.4K
	libraries	19-Jul-1999 01:41	4.3K
	library	19-Jul-1999 01:41	4.0K
	libsum	19-Jul-1999 01:41	61
	lispinplog	19-Jul-1999 01:41	3.9K
	listing	19-Jul-1999 01:41	1.7K
	load	19-Jul-1999 01:41	330
	log	19-Jul-1999 01:41	1.2K
	macro	19-Jul-1999 01:41	2.5K
	member	19-Jul-1999 01:41	1.1K
	minus	19-Jul-1999 01:41	875
	mishap	19-Jul-1999 01:41	198
	mixed_languages	19-Jul-1999 01:41	15K
	mod	19-Jul-1999 01:41	1.3K
	modules	19-Jul-1999 01:41	11K
	name	19-Jul-1999 01:41	2.1K
	newplogterms	19-Jul-1999 01:41	148
	nl	19-Jul-1999 01:41	787
	no_clauses	19-Jul-1999 01:41	3.1K
	nodebug	19-Jul-1999 01:41	1.0K
	nonvar	19-Jul-1999 01:41	464
	nospy	19-Jul-1999 01:41	1.2K
	not	19-Jul-1999 01:41	1.0K
	numbervars	19-Jul-1999 01:41	1.2K
	oldplogterms	19-Jul-1999 01:41	3.3K
	on_interrupt	19-Jul-1999 01:41	3.8K
	once	19-Jul-1999 01:41	919
	op	19-Jul-1999 01:41	7.6K
	operators	19-Jul-1999 01:41	4.5K
	ops	19-Jul-1999 01:41	57
	options	19-Jul-1999 01:41	306
	or	19-Jul-1999 01:41	445
	parsedemo	19-Jul-1999 01:41	2.0K
	pdp11	19-Jul-1999 01:41	1.5K
	phrase	19-Jul-1999 01:41	1.4K
	plogshowtree	19-Jul-1999 01:41	1.7K
	plogtopop	19-Jul-1999 01:41	5.9K
	plus	19-Jul-1999 01:41	767
	poplog	19-Jul-1999 01:41	9.2K
	popsetq	19-Jul-1999 01:41	799
	popstring	19-Jul-1999 01:41	2.1K
	poptoplog	19-Jul-1999 01:41	6.8K
	portray	19-Jul-1999 01:41	199
	predicate_info	19-Jul-1999 01:41	3.3K
	predicates	19-Jul-1999 01:41	12K
	print	19-Jul-1999 01:41	2.7K
	processes	19-Jul-1999 01:41	4.6K
	prolog	19-Jul-1999 01:41	7.6K
	prolog_abolish	19-Jul-1999 01:41	1.8K
	prolog_barrier_apply	19-Jul-1999 01:41	1.1K
	prolog_compile	19-Jul-1999 01:41	1.3K
	prolog_error	19-Jul-1999 01:41	7.4K
	prolog_eval	19-Jul-1999 01:41	3.3K
	prolog_evaltrue	19-Jul-1999 01:41	872
	prolog_invoke	19-Jul-1999 01:41	782
	prolog_language	19-Jul-1999 01:41	3.6K
	prolog_restart	19-Jul-1999 01:41	1.0K
	prolog_setq	19-Jul-1999 01:41	3.1K
	prolog_syserror	19-Jul-1999 01:41	207
	prolog_val	19-Jul-1999 01:41	551
	prolog_valof	19-Jul-1999 01:41	1.6K
	prolog_vars	19-Jul-1999 01:41	1.0K
	prompt	19-Jul-1999 01:41	1.0K
	put	19-Jul-1999 01:41	791
	quietspy	19-Jul-1999 01:41	1.7K
	read	19-Jul-1999 01:41	1.4K
	reconsult	19-Jul-1999 01:41	902
	record	19-Jul-1999 01:41	4.1K
	reinitialise	19-Jul-1999 01:41	806
	rename	19-Jul-1999 01:41	2.0K
	repeat	19-Jul-1999 01:41	595
	resolve	19-Jul-1999 01:41	3.4K
	restore	19-Jul-1999 01:41	437
	retract	19-Jul-1999 01:41	831
	retractall	19-Jul-1999 01:41	634
	save	19-Jul-1999 01:41	3.7K
	see	19-Jul-1999 01:41	1.4K
	seeing	19-Jul-1999 01:41	821
	seen	19-Jul-1999 01:41	928
	semicolon	19-Jul-1999 01:41	687
	setof	19-Jul-1999 01:41	4.1K
	showlib	19-Jul-1999 01:41	1.5K
	showterm	19-Jul-1999 01:41	1.3K
	simplepop	19-Jul-1999 01:41	4.4K
	skip	19-Jul-1999 01:41	911
	sort	19-Jul-1999 01:41	1.0K
	spy	19-Jul-1999 01:41	7.4K
	spy_action	19-Jul-1999 01:41	11K
	static	19-Jul-1999 01:41	1.4K
	statistics	19-Jul-1999 01:41	1.7K
	strings	19-Jul-1999 01:41	6.8K
	symbols	19-Jul-1999 01:41	2.4K
	syntax	19-Jul-1999 01:41	9.3K
	system	19-Jul-1999 01:41	11K
	system_predicate	19-Jul-1999 01:41	4.4K
	tab	19-Jul-1999 01:41	786
	tell	19-Jul-1999 01:41	1.5K
	telling	19-Jul-1999 01:41	802
	term_expansion	19-Jul-1999 01:41	211
	termsinpop	19-Jul-1999 01:41	14K
	throw	19-Jul-1999 01:41	195
	time	19-Jul-1999 01:41	1.7K
	times	19-Jul-1999 01:41	1.0K
	told	19-Jul-1999 01:41	719
	tracer	19-Jul-1999 01:41	3.2K
	trimcore	19-Jul-1999 01:41	326
	true	19-Jul-1999 01:41	474
	ttyflush	19-Jul-1999 01:41	540
	ttyget	19-Jul-1999 01:41	785
	ttyget0	19-Jul-1999 01:41	748
	ttynl	19-Jul-1999 01:41	633
	ttyput	19-Jul-1999 01:41	697
	ttyskip	19-Jul-1999 01:41	946
	ttytab	19-Jul-1999 01:41	687
	tuning	19-Jul-1999 01:41	43
	undefs	19-Jul-1999 01:41	2.5K
	univ	19-Jul-1999 01:41	2.1K
	unknown	19-Jul-1999 01:41	5.4K
	unleash	19-Jul-1999 01:41	1.3K
	useful	19-Jul-1999 01:41	921
	user_predicate	19-Jul-1999 01:41	1.3K
	uses	19-Jul-1999 01:41	2.3K
	var	19-Jul-1999 01:41	493
	ved	19-Jul-1999 01:41	9.1K
	version	19-Jul-1999 01:41	1.1K
	write	19-Jul-1999 01:41	1.8K
	writeq	19-Jul-1999 01:41	1.0K