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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]abolish29-Jun-2009 02:37 1.4K 
[TXT]abort31-Oct-1986 16:31 614  
[TXT]and31-Oct-1986 16:31 384  
[TXT]append09-Feb-1988 14:17 1.5K 
[TXT]are09-Feb-1988 14:19 2.0K 
[TXT]arg31-Oct-1986 16:31 710  
[TXT]arithmetic09-Feb-1988 14:20 2.5K 
[TXT]arrow31-Oct-1986 16:31 1.9K 
[TXT]assert31-Oct-1986 16:31 717  
[TXT]asserta31-Oct-1986 16:31 640  
[TXT]assertz22-Mar-1988 15:08 768  
[   ]atom31-Oct-1986 16:31 442  
[TXT]atomic31-Oct-1986 16:31 662  
[TXT]bagof07-May-1987 18:10 1.6K 
[TXT]bitwise07-May-1987 18:10 1.4K 
[TXT]break31-Oct-1986 16:31 555  
[   ]builtin15-Mar-1987 17:38 145  
[TXT]call21-May-1992 14:39 3.3K 
[TXT]catch20-Jun-1991 15:36 3.2K 
[TXT]chartype20-Feb-1987 12:46 2.2K 
[TXT]chatty31-Oct-1986 16:31 2.6K 
[TXT]clause27-Mar-1992 16:58 1.1K 
[TXT]clauses16-Mar-1988 13:09 1.5K 
[TXT]clausify31-Oct-1986 16:31 2.1K 
[TXT]close09-Oct-1991 10:11 881  
[TXT]comma31-Oct-1986 16:31 675  
[TXT]commands29-Jun-2009 02:37 3.8K 
[TXT]compare31-Oct-1986 16:31 4.0K 
[TXT]compatibility29-Jun-2009 02:37 3.1K 
[TXT]compile29-Jun-2009 02:37 10K 
[TXT]conditional31-Oct-1986 16:31 1.8K 
[TXT]consult29-Jun-2009 02:37 1.3K 
[TXT]current_atom31-Oct-1986 16:31 826  
[TXT]current_disk27-Mar-1992 16:58 4.0K 
[TXT]current_functor31-Oct-1986 16:31 1.1K 
[TXT]current_op10-Jul-1987 21:19 1.2K 
[TXT]current_predicate31-Oct-1986 16:31 1.0K 
[TXT]cut31-Oct-1986 16:31 887  
[TXT]database03-May-1991 22:33 1.8K 
[TXT]date31-Oct-1986 16:31 880  
[   ]dcgr01-Nov-1986 00:06 65  
[TXT]debug26-Oct-1990 17:50 9.5K 
[TXT]debugging26-Oct-1990 14:02 1.3K 
[TXT]dec1008-Oct-1991 17:32 2.4K 
[TXT]dec10_ops27-Mar-1992 16:58 4.1K 
[TXT]default_ops16-Mar-1988 13:11 1.0K 
[   ]details01-Nov-1986 00:06 61  
[TXT]directives29-Jun-2009 02:37 2.2K 
[TXT]display31-Oct-1986 16:31 949  
[TXT]div09-Jun-1987 18:00 1.6K 
[TXT]divide09-Jun-1987 17:29 2.2K 
[TXT]dollar27-Mar-1992 16:58 2.3K 
[TXT]dynamic29-Jun-2009 02:37 7.4K 
[TXT]edinsynt24-Oct-1991 12:42 2.5K 
[TXT]efficiency07-May-1987 18:28 2.9K 
[TXT]equal31-Oct-1986 16:31 2.0K 
[TXT]error26-Jun-1991 12:21 8.9K 
[   ]errors15-Mar-1987 17:39 147  
[   ]exclamation07-May-1987 18:29 319  
[TXT]expand_term29-Jun-2009 02:37 1.8K 
[TXT]fail31-Oct-1986 16:31 897  
[TXT]fast_bagof07-May-1987 18:31 1.5K 
[TXT]fast_setof07-May-1987 18:32 1.5K 
[TXT]findall14-Apr-1992 16:04 2.4K 
[   ]float09-Feb-1988 14:21 738  
[TXT]format09-Apr-1992 15:43 6.2K 
[TXT]functor07-May-1987 18:34 1.0K 
[TXT]gensym27-Mar-1992 16:58 1.6K 
[TXT]get31-Oct-1986 16:31 800  
[TXT]get001-Dec-1989 16:04 918  
[TXT]glossary29-Jun-2009 02:37 7.3K 
[TXT]grammar_rule27-Jul-1988 10:07 5.8K 
[TXT]grammars27-Jul-1988 10:08 1.5K 
[TXT]greaterthan31-Oct-1986 16:31 1.2K 
[TXT]halt31-Oct-1986 16:31 600  
[TXT]helpfiles29-Jun-2009 02:37 14K 
[TXT]higher_order21-May-1992 14:54 6.0K 
[TXT]i_o29-Jun-2009 02:37 11K 
[   ]incore14-Apr-1992 16:29 239  
[TXT]integer31-Oct-1986 16:31 491  
[TXT]is09-Feb-1988 14:22 3.9K 
[TXT]keysort31-Oct-1986 16:31 905  
[   ]languages01-Nov-1986 00:06 65  
[TXT]leash28-Jan-1992 12:49 1.3K 
[TXT]length31-Oct-1986 16:31 482  
[TXT]lerngram31-Oct-1986 16:31 3.0K 
[TXT]lessthan30-May-1991 10:04 1.4K 
[TXT]libraries14-Apr-1992 16:19 4.3K 
[TXT]library24-Feb-1992 13:28 4.0K 
[   ]libsum01-Nov-1986 00:06 61  
[TXT]lispinplog18-Jul-1990 18:42 3.9K 
[TXT]listing31-Oct-1986 16:31 1.7K 
[TXT]load09-Feb-1988 14:23 330  
[TXT]log31-Oct-1986 16:31 1.2K 
[TXT]macro18-Jul-1990 11:38 2.5K 
[TXT]member09-Feb-1988 14:24 1.1K 
[TXT]minus31-Oct-1986 16:31 875  
[   ]mishap22-Oct-1990 10:50 198  
[TXT]mixed_languages09-May-1990 16:51 15K 
[TXT]mod07-May-1987 18:43 1.3K 
[TXT]modules27-Aug-1991 12:46 11K 
[TXT]name27-Mar-1992 16:58 2.1K 
[   ]newplogterms15-Mar-1987 17:38 148  
[TXT]nl09-Feb-1988 14:26 787  
[TXT]no_clauses16-Mar-1988 13:13 3.1K 
[TXT]nodebug26-Oct-1990 14:02 1.0K 
[   ]nonvar31-Oct-1986 16:31 464  
[TXT]nospy28-Jan-1992 15:39 1.2K 
[TXT]not31-Oct-1986 16:31 1.0K 
[TXT]numbervars31-Oct-1986 16:31 1.2K 
[TXT]oldplogterms31-Oct-1986 22:46 3.3K 
[TXT]on_interrupt20-Jun-1991 15:37 3.8K 
[TXT]once09-Feb-1988 14:26 919  
[TXT]op20-Jul-1992 14:23 7.6K 
[TXT]operators15-Dec-1992 11:16 4.5K 
[   ]ops01-Nov-1986 00:06 57  
[TXT]options26-Oct-1990 14:07 306  
[TXT]or31-Oct-1986 16:31 445  
[TXT]parsedemo31-Oct-1986 16:31 2.0K 
[TXT]pdp1131-Oct-1986 16:31 1.5K 
[TXT]phrase31-Oct-1986 16:31 1.4K 
[   ]plogindex29-Jun-2009 02:37 5.3K 
[TXT]plogshowtree31-Oct-1986 16:31 1.7K 
[TXT]plogtopop27-Mar-1992 16:58 5.9K 
[TXT]plus31-Oct-1986 16:31 767  
[TXT]poplog29-Jun-2009 02:37 9.2K 
[TXT]popsetq09-Feb-1988 14:29 799  
[TXT]popstring09-Feb-1988 14:30 2.1K 
[TXT]poptoplog29-Jun-2009 02:37 6.8K 
[   ]portray17-Oct-1990 18:20 199  
[TXT]predicate_info29-Jun-2009 02:37 3.3K 
[TXT]predicates29-Jun-2009 02:37 12K 
[TXT]print28-May-1991 13:56 2.7K 
[TXT]processes31-Oct-1986 16:31 4.6K 
[TXT]prolog29-Jun-2009 01:36 7.6K 
[TXT]prolog_abolish03-Oct-1988 11:22 1.8K 
[TXT]prolog_barrier_apply31-Oct-1986 16:31 1.1K 
[TXT]prolog_compile31-Oct-1986 16:31 1.3K 
[TXT]prolog_error18-Feb-1992 14:53 7.4K 
[TXT]prolog_eval03-Oct-1988 13:25 3.3K 
[TXT]prolog_evaltrue12-Sep-1988 17:14 872  
[TXT]prolog_invoke31-Oct-1986 16:31 782  
[TXT]prolog_language29-Jun-2009 02:37 3.6K 
[TXT]prolog_restart19-Aug-1991 14:21 1.0K 
[TXT]prolog_setq09-Feb-1988 14:33 3.1K 
[   ]prolog_syserror22-Oct-1990 10:49 207  
[TXT]prolog_val09-Feb-1988 14:34 551  
[TXT]prolog_valof20-Aug-1987 13:01 1.6K 
[TXT]prolog_vars31-Oct-1986 16:31 1.0K 
[TXT]prompt31-Oct-1986 16:31 1.0K 
[TXT]put31-Oct-1986 16:31 791  
[TXT]quietspy26-Oct-1990 14:00 1.7K 
[TXT]read17-Oct-1990 15:11 1.4K 
[TXT]reconsult29-Jun-2009 02:37 902  
[TXT]record09-Feb-1988 14:35 4.1K 
[TXT]reinitialise31-Oct-1986 16:32 806  
[TXT]rename31-Oct-1986 23:14 2.0K 
[   ]repeat31-Oct-1986 16:32 595  
[TXT]resolve07-May-1987 19:01 3.4K 
[TXT]restore31-Oct-1986 16:32 437  
[TXT]retract31-Oct-1986 16:32 831  
[   ]retractall31-Oct-1986 16:32 634  
[TXT]save20-Aug-1991 10:49 3.7K 
[TXT]see16-Mar-1988 13:16 1.4K 
[TXT]seeing27-Mar-1992 16:58 821  
[TXT]seen31-Oct-1986 16:32 928  
[TXT]semicolon27-Mar-1992 16:58 687  
[TXT]setof16-Mar-1988 13:17 4.1K 
[TXT]showlib24-Feb-1992 13:29 1.5K 
[TXT]showterm31-Oct-1986 16:32 1.3K 
[TXT]simplepop24-Oct-1991 15:05 4.4K 
[TXT]skip07-May-1987 19:04 911  
[TXT]sort31-Oct-1986 16:32 1.0K 
[TXT]spy28-Jan-1992 15:44 7.4K 
[TXT]spy_action28-Jan-1992 11:53 11K 
[TXT]static29-Jun-2009 02:37 1.4K 
[TXT]statistics09-Jun-1987 18:25 1.7K 
[TXT]strings28-Oct-1991 14:35 6.8K 
[TXT]symbols31-Oct-1986 16:32 2.4K 
[TXT]syntax15-Oct-1990 16:04 9.3K 
[TXT]system27-Mar-1992 16:58 11K 
[TXT]system_predicate27-Mar-1992 16:58 4.4K 
[TXT]tab09-Feb-1988 14:36 786  
[TXT]tell16-Mar-1988 13:19 1.5K 
[TXT]telling27-Mar-1992 16:58 802  
[   ]term_expansion23-Oct-1991 16:00 211  
[   ]termsinpop27-Mar-1992 16:58 14K 
[   ]throw20-Jun-1991 15:38 195  
[TXT]time14-Sep-1992 16:30 1.7K 
[TXT]times14-Sep-1992 16:40 1.0K 
[TXT]told31-Oct-1986 16:32 719  
[TXT]tracer31-Oct-1986 16:32 3.2K 
[TXT]trimcore31-Oct-1986 16:32 326  
[   ]true31-Oct-1986 16:32 474  
[TXT]ttyflush31-Oct-1986 16:32 540  
[TXT]ttyget31-Oct-1986 16:32 785  
[TXT]ttyget031-Oct-1986 16:32 748  
[TXT]ttynl31-Oct-1986 16:32 633  
[TXT]ttyput31-Oct-1986 16:32 697  
[TXT]ttyskip31-Oct-1986 16:32 946  
[TXT]ttytab31-Oct-1986 16:32 687  
[   ]tuning13-Nov-1986 11:34 43  
[TXT]undefs03-Oct-1988 11:17 2.5K 
[TXT]univ27-Mar-1992 16:58 2.1K 
[TXT]unknown11-Feb-1992 15:44 5.4K 
[TXT]unleash28-Jan-1992 12:48 1.3K 
[TXT]useful09-Feb-1988 14:36 921  
[TXT]user_predicate16-Mar-1988 13:20 1.3K 
[TXT]uses27-Mar-1992 16:58 2.3K 
[   ]var31-Oct-1986 16:32 493  
[TXT]ved29-Jun-2009 01:45 9.1K 
[TXT]version20-Aug-1991 11:41 1.1K 
[TXT]write17-Oct-1990 15:11 1.8K 
[TXT]writeq07-May-1987 19:11 1.0K 

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