Index of /~leavens/ComS541-Watt-Semantics/lectures/lambda-prolog

 Name                    Last modified       Size  Description

 Parent Directory        19-Oct-2005 00:52      -  
 Outline-files.txt       17-Mar-1997 16:03     1k  
 TOC.txt                 02-Oct-1992 10:57     8k  
 aconseq.lp              30-Sep-2004 13:07     1k  
 aconseq.mod             30-Sep-2004 12:53     1k  
 aconseq.sig             30-Sep-2004 12:52     1k  
 addtoend1.lp            07-Oct-2004 14:32     1k  
 addtoend1.mod           07-Oct-2004 14:31     1k  
 addtoend1.sig           30-Sep-2004 12:52     1k  
 addtoend2.lp            07-Oct-2004 14:56     1k  
 addtoend2.mod           07-Oct-2004 14:56     1k  
 addtoend2.sig           30-Sep-2004 12:51     1k  
 afact.lp                30-Sep-2004 13:07     1k  
 afact.mod               30-Sep-2004 12:53     1k  
 afact.sig               30-Sep-2004 12:51     1k  
 alists.lp               30-Sep-2004 13:07     1k  
 alists.mod              30-Sep-2004 12:53     1k  
 alists.sig              30-Sep-2004 12:51     1k  
 capitals.lp             30-Sep-2004 13:07     1k  
 capitals.mod            30-Sep-2004 12:53     1k  
 capitals.sig            30-Sep-2004 12:51     1k  
 church.lp               30-Sep-2004 13:07     2k  
 church.mod              30-Sep-2004 12:53     1k  
 church.sig              30-Sep-2004 12:51     1k  
 diff_lists.lp           12-Oct-2004 14:38     1k  
 diff_lists.mod          12-Oct-2004 14:35     1k  
 diff_lists.sig          30-Sep-2004 12:51     1k  
 introduction.txt        29-Nov-1999 23:32     3k  
 lisp_lists.lp           07-Oct-2004 14:19     1k  
 lisp_lists.mod          07-Oct-2004 14:19     1k  
 lisp_lists.sig          30-Sep-2004 12:51     1k  
 list_examples.lp        12-Oct-2004 14:27     1k  
 list_examples.mod       12-Oct-2004 14:27     2k  
 list_examples.sig       30-Sep-2004 12:50     1k  
 logical-computing.txt   17-Mar-1997 15:24     2k  
 programming.txt         30-Sep-2004 13:07    10k  
 pure-prolog.txt         30-Sep-2004 13:06     8k  
 reverse.mod             07-Oct-2004 15:05     1k  
 reverse.sig             07-Oct-2004 14:57     1k  
 semantic_net.lp         30-Sep-2004 13:07     1k  
 semantic_net.mod        30-Sep-2004 12:52     1k  
 semantic_net.sig        30-Sep-2004 12:50     1k  
 test.lp                 30-Sep-2004 13:07     1k  
 test.mod                30-Sep-2004 12:52     1k  
 test.sig                30-Sep-2004 12:50     1k  
 unary.lp                12-Oct-2004 14:23     1k  
 unary.mod               12-Oct-2004 14:23     1k  
 unary.sig               30-Sep-2004 12:50     1k  
 universal_truths.lp     30-Sep-2004 13:07     1k  
 universal_truths.mod    30-Sep-2004 12:52     1k  
 universal_truths.sig    30-Sep-2004 12:50     1k