Index of /~tarau/research/LeanProlog

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]ArchitectureOfLeanProlog.pdf19-Nov-2010 12:45 368K 
[TXT]HelpData.html08-Feb-2011 10:52 54K 
[   ]InteroperatingLogicEngines.pdf19-Nov-2010 12:49 215K 
[TXT]README.txt19-Nov-2010 13:43 637  
[   ]RefactoringPrologWithFluents.pdf19-Nov-2010 12:52 228K 
[   ]SymbolGCinLeanProlog.pdf19-Nov-2010 12:47 162K 
[   ]draft_damp11.pdf21-Jan-2011 21:16 186K 
[   ]lpmas11_distr.pdf12-Jul-2011 10:46 356K 
[   ]lprolog.bat19-Nov-2010 13:35 85  
[   ]lprolog.jar16-Jan-2012 19:45 409K 
[TXT]lprolog.sh19-Nov-2010 13:34 84  
[DIR]progs/28-Nov-2010 12:58 -  
[   ]slides_damp11.pdf23-Jan-2011 14:58 124K 

Apache/2.2.22 (Ubuntu) Server at www.cse.unt.edu Port 80