| 
							
							
								 Roberto Bagnara | 02fbaf958a | Fixed a few issues in the glue code for SWI-Prolog compatibility. | 2010-12-19 21:59:38 +00:00 |  | 
			
				
					| 
							
							
								 Vitor Santos Costa | 168a6366f8 | enable obtaining current stream_position from SWI.y | 2010-12-19 21:32:13 +00:00 |  | 
			
				
					| 
							
							
								 Roberto Bagnara | cb7c2e0ca8 | Fixed PL_is_integer() and PL_is_number() so as to take bignums into account. | 2010-12-19 19:39:12 +00:00 |  | 
			
				
					| 
							
							
								 Vítor Santos Costa | 4546a22101 | SWI seems to use t=0 for user_input/output. Not very clear why... | 2010-12-15 20:03:22 +00:00 |  | 
			
				
					| 
							
							
								 Vítor Santos Costa | 628ae12d15 | ifix warning message. | 2010-12-14 12:04:33 +00:00 |  | 
			
				
					| 
							
							
								 Vítor Santos Costa | eb82f5fa2a | more fixes to recursive call execution and backtracking from within C-mode. semweb java example now working. | 2010-12-14 09:30:40 +00:00 |  | 
			
				
					| 
							
							
								 Vítor Santos Costa | f89f7e8e98 | PL_set_engine should always return a sensible answer, even if multi-threading is not on. | 2010-12-13 21:07:35 +00:00 |  | 
			
				
					| 
							
							
								 Vitor Santos Costa | 3c4da56af2 | allow write to find out about SWI streams in SWI mode. | 2010-12-13 12:38:37 +00:00 |  | 
			
				
					| 
							
							
								 Vítor Santos Costa | af6bf40985 | fix SWI functor handling to work with 32 bits. (for now) | 2010-12-02 19:41:48 +00:00 |  | 
			
				
					| 
							
							
								 Vítor Santos Costa | 2713ac27b6 | Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Conflicts:
	library/dialect/swi/fli/swi.h | 2010-12-02 19:38:15 +00:00 |  | 
			
				
					| 
							
							
								 Vitor Santos Costa | 7e59179622 | fix bad SWI functor :( | 2010-12-02 12:10:03 +00:00 |  | 
			
				
					| 
							
							
								 Vitor Santos Costa | aead067476 | mv swi compatibility stuff to library/dialect | 2010-11-30 22:33:33 +00:00 |  |