Theofrastos Mantadelis
							
						 
					 | 
					
						
						
							
						
						a442d888de
					 | 
					
						
						
							
							Newest ProbLog version
						
						
						
						
						
						
					 | 
					
						2010-12-16 14:30:50 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Theofrastos Mantadelis
							
						 
					 | 
					
						
						
							
						
						b54517d419
					 | 
					
						
						
							
							Updating ProbLog and adding ADs
						
						
						
						
						
						
					 | 
					
						2010-12-02 14:54:47 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Theofrastos Mantadelis
							
						 
					 | 
					
						
						
							
						
						c804d105b6
					 | 
					
						
						
							
							Some ProbLog improvements related with tabling efficiency, more to come soon
						
						
						
						
						
						
					 | 
					
						2010-11-03 19:22:11 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Theofrastos Mantadelis
							
						 
					 | 
					
						
						
							
						
						d750a5d5a2
					 | 
					
						
						
							
							update in learning
						
						
						
						
						
						
					 | 
					
						2010-09-29 18:40:34 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Theofrastos Mantadelis
							
						 
					 | 
					
						
						
							
						
						0cd5cec64b
					 | 
					
						
						
							
							Portability issues
						
						
						
						
						
						
					 | 
					
						2010-09-28 21:22:32 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Paulo Moura
							
						 
					 | 
					
						
						
							
						
						8cf9568c8b
					 | 
					
						
						
							
							Fixing minor portability issues
						
						
						
						
						
						
					 | 
					
						2010-09-25 03:46:20 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Paulo Moura
							
						 
					 | 
					
						
						
							
						
						5d1aa5844a
					 | 
					
						
						
							
							Fixing minor portability issues
						
						
						
						
						
						
					 | 
					
						2010-09-25 02:24:30 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Theofrastos Mantadelis
							
						 
					 | 
					
						
						
							
						
						5d2f7adb87
					 | 
					
						
						
							
							fixed makefile
						
						
						
						
						
						
					 | 
					
						2010-09-24 16:26:54 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |