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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]abolish19-Jul-1999 01:41 1.4K 
[TXT]abort19-Jul-1999 01:41 614  
[TXT]and19-Jul-1999 01:41 384  
[TXT]append19-Jul-1999 01:41 1.5K 
[TXT]are19-Jul-1999 01:41 2.0K 
[TXT]arg19-Jul-1999 01:41 710  
[TXT]arithmetic19-Jul-1999 01:41 2.5K 
[TXT]arrow19-Jul-1999 01:41 1.9K 
[TXT]assert19-Jul-1999 01:41 717  
[TXT]asserta19-Jul-1999 01:41 640  
[TXT]assertz19-Jul-1999 01:41 768  
[   ]atom19-Jul-1999 01:41 442  
[TXT]atomic19-Jul-1999 01:41 662  
[TXT]bagof19-Jul-1999 01:41 1.6K 
[TXT]bitwise19-Jul-1999 01:41 1.4K 
[TXT]break19-Jul-1999 01:41 555  
[   ]builtin19-Jul-1999 01:41 145  
[TXT]call19-Jul-1999 01:41 3.2K 
[TXT]catch19-Jul-1999 01:41 3.2K 
[TXT]chartype19-Jul-1999 01:41 2.2K 
[TXT]chatty19-Jul-1999 01:41 2.6K 
[TXT]clause19-Jul-1999 01:41 1.1K 
[TXT]clauses19-Jul-1999 01:41 1.5K 
[TXT]clausify19-Jul-1999 01:41 2.1K 
[TXT]close19-Jul-1999 01:41 881  
[TXT]comma19-Jul-1999 01:41 675  
[TXT]commands19-Jul-1999 01:41 3.8K 
[TXT]compare19-Jul-1999 01:41 4.0K 
[TXT]compatibility19-Jul-1999 01:41 3.1K 
[TXT]compile19-Jul-1999 01:41 10K 
[TXT]conditional19-Jul-1999 01:41 1.8K 
[TXT]consult19-Jul-1999 01:41 1.3K 
[TXT]current_atom19-Jul-1999 01:41 826  
[TXT]current_disk19-Jul-1999 01:41 4.0K 
[TXT]current_functor19-Jul-1999 01:41 1.1K 
[TXT]current_op19-Jul-1999 01:41 1.2K 
[TXT]current_predicate19-Jul-1999 01:41 1.0K 
[TXT]cut19-Jul-1999 01:41 887  
[TXT]database19-Jul-1999 01:41 1.8K 
[TXT]date19-Jul-1999 01:41 880  
[   ]dcgr19-Jul-1999 01:41 65  
[TXT]debug19-Jul-1999 01:41 9.5K 
[TXT]debugging19-Jul-1999 01:41 1.3K 
[TXT]dec1019-Jul-1999 01:41 2.4K 
[TXT]dec10_ops19-Jul-1999 01:41 4.1K 
[TXT]default_ops19-Jul-1999 01:41 1.0K 
[   ]details19-Jul-1999 01:41 61  
[TXT]directives19-Jul-1999 01:41 2.2K 
[TXT]display19-Jul-1999 01:41 949  
[TXT]div19-Jul-1999 01:41 1.6K 
[TXT]divide19-Jul-1999 01:41 2.2K 
[TXT]dollar19-Jul-1999 01:41 2.3K 
[TXT]dynamic19-Jul-1999 01:41 7.4K 
[TXT]edinsynt19-Jul-1999 01:41 2.5K 
[TXT]efficiency19-Jul-1999 01:41 2.9K 
[TXT]equal19-Jul-1999 01:41 2.0K 
[TXT]error19-Jul-1999 01:41 8.9K 
[   ]errors19-Jul-1999 01:41 147  
[   ]exclamation19-Jul-1999 01:41 319  
[TXT]expand_term19-Jul-1999 01:41 1.8K 
[TXT]fail19-Jul-1999 01:41 897  
[TXT]fast_bagof19-Jul-1999 01:41 1.5K 
[TXT]fast_setof19-Jul-1999 01:41 1.5K 
[TXT]findall19-Jul-1999 01:41 2.4K 
[   ]float19-Jul-1999 01:41 738  
[TXT]format19-Jul-1999 01:41 6.2K 
[TXT]functor19-Jul-1999 01:41 1.0K 
[TXT]gensym19-Jul-1999 01:41 1.6K 
[TXT]get19-Jul-1999 01:41 800  
[TXT]get019-Jul-1999 01:41 918  
[TXT]glossary19-Jul-1999 01:41 7.3K 
[TXT]grammar_rule19-Jul-1999 01:41 5.8K 
[TXT]grammars19-Jul-1999 01:41 1.5K 
[TXT]greaterthan19-Jul-1999 01:41 1.2K 
[TXT]halt19-Jul-1999 01:41 600  
[TXT]helpfiles19-Jul-1999 01:41 14K 
[TXT]higher_order19-Jul-1999 01:41 5.4K 
[TXT]i_o19-Jul-1999 01:41 11K 
[   ]incore19-Jul-1999 01:41 237  
[TXT]integer19-Jul-1999 01:41 491  
[TXT]is19-Jul-1999 01:41 3.9K 
[TXT]keysort19-Jul-1999 01:41 905  
[   ]languages19-Jul-1999 01:41 65  
[TXT]leash19-Jul-1999 01:41 1.3K 
[TXT]length19-Jul-1999 01:41 482  
[TXT]lerngram19-Jul-1999 01:41 3.0K 
[TXT]lessthan19-Jul-1999 01:41 1.4K 
[TXT]libraries19-Jul-1999 01:41 4.3K 
[TXT]library19-Jul-1999 01:41 4.0K 
[   ]libsum19-Jul-1999 01:41 61  
[TXT]lispinplog19-Jul-1999 01:41 3.9K 
[TXT]listing19-Jul-1999 01:41 1.7K 
[TXT]load19-Jul-1999 01:41 330  
[TXT]log19-Jul-1999 01:41 1.2K 
[TXT]macro19-Jul-1999 01:41 2.5K 
[TXT]member19-Jul-1999 01:41 1.1K 
[TXT]minus19-Jul-1999 01:41 875  
[   ]mishap19-Jul-1999 01:41 198  
[TXT]mixed_languages19-Jul-1999 01:41 15K 
[TXT]mod19-Jul-1999 01:41 1.3K 
[TXT]modules19-Jul-1999 01:41 11K 
[TXT]name19-Jul-1999 01:41 2.1K 
[   ]newplogterms19-Jul-1999 01:41 148  
[TXT]nl19-Jul-1999 01:41 787  
[TXT]no_clauses19-Jul-1999 01:41 3.1K 
[TXT]nodebug19-Jul-1999 01:41 1.0K 
[   ]nonvar19-Jul-1999 01:41 464  
[TXT]nospy19-Jul-1999 01:41 1.2K 
[TXT]not19-Jul-1999 01:41 1.0K 
[TXT]numbervars19-Jul-1999 01:41 1.2K 
[TXT]oldplogterms19-Jul-1999 01:41 3.3K 
[TXT]on_interrupt19-Jul-1999 01:41 3.8K 
[TXT]once19-Jul-1999 01:41 919  
[TXT]op19-Jul-1999 01:41 7.6K 
[TXT]operators19-Jul-1999 01:41 4.5K 
[   ]ops19-Jul-1999 01:41 57  
[TXT]options19-Jul-1999 01:41 306  
[TXT]or19-Jul-1999 01:41 445  
[TXT]parsedemo19-Jul-1999 01:41 2.0K 
[TXT]pdp1119-Jul-1999 01:41 1.5K 
[TXT]phrase19-Jul-1999 01:41 1.4K 
[TXT]plogshowtree19-Jul-1999 01:41 1.7K 
[TXT]plogtopop19-Jul-1999 01:41 5.9K 
[TXT]plus19-Jul-1999 01:41 767  
[TXT]poplog19-Jul-1999 01:41 9.2K 
[TXT]popsetq19-Jul-1999 01:41 799  
[TXT]popstring19-Jul-1999 01:41 2.1K 
[TXT]poptoplog19-Jul-1999 01:41 6.8K 
[   ]portray19-Jul-1999 01:41 199  
[TXT]predicate_info19-Jul-1999 01:41 3.3K 
[TXT]predicates19-Jul-1999 01:41 12K 
[TXT]print19-Jul-1999 01:41 2.7K 
[TXT]processes19-Jul-1999 01:41 4.6K 
[TXT]prolog19-Jul-1999 01:41 7.6K 
[TXT]prolog_abolish19-Jul-1999 01:41 1.8K 
[TXT]prolog_barrier_apply19-Jul-1999 01:41 1.1K 
[TXT]prolog_compile19-Jul-1999 01:41 1.3K 
[TXT]prolog_error19-Jul-1999 01:41 7.4K 
[TXT]prolog_eval19-Jul-1999 01:41 3.3K 
[TXT]prolog_evaltrue19-Jul-1999 01:41 872  
[TXT]prolog_invoke19-Jul-1999 01:41 782  
[TXT]prolog_language19-Jul-1999 01:41 3.6K 
[TXT]prolog_restart19-Jul-1999 01:41 1.0K 
[TXT]prolog_setq19-Jul-1999 01:41 3.1K 
[   ]prolog_syserror19-Jul-1999 01:41 207  
[TXT]prolog_val19-Jul-1999 01:41 551  
[TXT]prolog_valof19-Jul-1999 01:41 1.6K 
[TXT]prolog_vars19-Jul-1999 01:41 1.0K 
[TXT]prompt19-Jul-1999 01:41 1.0K 
[TXT]put19-Jul-1999 01:41 791  
[TXT]quietspy19-Jul-1999 01:41 1.7K 
[TXT]read19-Jul-1999 01:41 1.4K 
[TXT]reconsult19-Jul-1999 01:41 902  
[TXT]record19-Jul-1999 01:41 4.1K 
[TXT]reinitialise19-Jul-1999 01:41 806  
[TXT]rename19-Jul-1999 01:41 2.0K 
[   ]repeat19-Jul-1999 01:41 595  
[TXT]resolve19-Jul-1999 01:41 3.4K 
[TXT]restore19-Jul-1999 01:41 437  
[TXT]retract19-Jul-1999 01:41 831  
[   ]retractall19-Jul-1999 01:41 634  
[TXT]save19-Jul-1999 01:41 3.7K 
[TXT]see19-Jul-1999 01:41 1.4K 
[TXT]seeing19-Jul-1999 01:41 821  
[TXT]seen19-Jul-1999 01:41 928  
[TXT]semicolon19-Jul-1999 01:41 687  
[TXT]setof19-Jul-1999 01:41 4.1K 
[TXT]showlib19-Jul-1999 01:41 1.5K 
[TXT]showterm19-Jul-1999 01:41 1.3K 
[TXT]simplepop19-Jul-1999 01:41 4.4K 
[TXT]skip19-Jul-1999 01:41 911  
[TXT]sort19-Jul-1999 01:41 1.0K 
[TXT]spy19-Jul-1999 01:41 7.4K 
[TXT]spy_action19-Jul-1999 01:41 11K 
[TXT]static19-Jul-1999 01:41 1.4K 
[TXT]statistics19-Jul-1999 01:41 1.7K 
[TXT]strings19-Jul-1999 01:41 6.8K 
[TXT]symbols19-Jul-1999 01:41 2.4K 
[TXT]syntax19-Jul-1999 01:41 9.3K 
[TXT]system19-Jul-1999 01:41 11K 
[TXT]system_predicate19-Jul-1999 01:41 4.4K 
[TXT]tab19-Jul-1999 01:41 786  
[TXT]tell19-Jul-1999 01:41 1.5K 
[TXT]telling19-Jul-1999 01:41 802  
[   ]term_expansion19-Jul-1999 01:41 211  
[   ]termsinpop19-Jul-1999 01:41 14K 
[   ]throw19-Jul-1999 01:41 195  
[TXT]time19-Jul-1999 01:41 1.7K 
[TXT]times19-Jul-1999 01:41 1.0K 
[TXT]told19-Jul-1999 01:41 719  
[TXT]tracer19-Jul-1999 01:41 3.2K 
[TXT]trimcore19-Jul-1999 01:41 326  
[   ]true19-Jul-1999 01:41 474  
[TXT]ttyflush19-Jul-1999 01:41 540  
[TXT]ttyget19-Jul-1999 01:41 785  
[TXT]ttyget019-Jul-1999 01:41 748  
[TXT]ttynl19-Jul-1999 01:41 633  
[TXT]ttyput19-Jul-1999 01:41 697  
[TXT]ttyskip19-Jul-1999 01:41 946  
[TXT]ttytab19-Jul-1999 01:41 687  
[   ]tuning19-Jul-1999 01:41 43  
[TXT]undefs19-Jul-1999 01:41 2.5K 
[TXT]univ19-Jul-1999 01:41 2.1K 
[TXT]unknown19-Jul-1999 01:41 5.4K 
[TXT]unleash19-Jul-1999 01:41 1.3K 
[TXT]useful19-Jul-1999 01:41 921  
[TXT]user_predicate19-Jul-1999 01:41 1.3K 
[TXT]uses19-Jul-1999 01:41 2.3K 
[   ]var19-Jul-1999 01:41 493  
[TXT]ved19-Jul-1999 01:41 9.1K 
[TXT]version19-Jul-1999 01:41 1.1K 
[TXT]write19-Jul-1999 01:41 1.8K 
[TXT]writeq19-Jul-1999 01:41 1.0K 

Apache Server at www.cs.bham.ac.uk Port 80