Index of /~cs2411/examples/First-order/Transformations 
      Name                    Last modified       Size  Description


[DIR] Parent Directory        29-Apr-2004 09:20      -  
[TXT] skolemize.pl            29-Apr-2004 09:21     2k  
[TXT] to_clauses.pl           29-Apr-2004 09:21     3k  
[TXT] to_cnf.pl               29-Apr-2004 09:21     1k  
[TXT] to_prenex_form.pl       29-Apr-2004 09:21     2k
Apache/1.3.29 Server at www.cse.unsw.edu.au Port 80