15 lines
		
	
	
		
			223 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
		
		
			
		
	
	
			15 lines
		
	
	
		
			223 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
| 
								 | 
							
								/*
							 | 
						||
| 
								 | 
							
								   ?- s([win(white)],P).
							 | 
						||
| 
								 | 
							
								P = 0.5 ?
							 | 
						||
| 
								 | 
							
								yes
							 | 
						||
| 
								 | 
							
								   ?- s([win(black)],P).
							 | 
						||
| 
								 | 
							
								P = 0.5 ?
							 | 
						||
| 
								 | 
							
								yes
							 | 
						||
| 
								 | 
							
								   ?- s([win(black),win(white)],P).
							 | 
						||
| 
								 | 
							
								P = 0 ?
							 | 
						||
| 
								 | 
							
								*/
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								win(white) :- \+ win(black).
							 | 
						||
| 
								 | 
							
								win(black):- \+ win(white).
							 | 
						||
| 
								 | 
							
								win(white) : 0.5 ; win(black) : 0.5.
							 |