Index of /research/projects/poplog/docs/pop/plog/help

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