!"
 # # 

 $%
&'

# #()

 
  

 
* 

!
%

!+
  #
%,-(%./


 $
0

# #

1*




(
%2
 
 

  

 
 


 




  


3
,  4
 3 ,  4  , 8


  


   
.
 ,
# & % &%'  
 9-

5
 #  ¬: #-∨¬;%-∨9& -
 3
4  # : #3<


;%%

64  #  =% 1
: #-∧ ;%-⇒ 9& -

7

#
,
#
  *
  
 


%

    ! 


>(%  
 

)



A
7



 
(

%.0

.%
)
. α ⇒ β, α

  .
   

 % β
4

!.
 )
?
; @A
7

)
-∧!
%∧-.%.@∧
 @⇒ 4  - p1', p2', …, pn', (p1 ∧ p2 ∧…∧ pn ⇒ q)
0

.A" SUBST(θ,q)
A  A" (where SUBST(θ,pi')

SUBST(θ,pi) for all i)
A  -∧0

.-⇒!.-.0


A  -⇒ !
-
9-
9%-.)
⇒
 - : #<
.;%%.: #-∧;%-⇒ 9& -
)
! B-C<
.%C<
D.9& <

9%0

.)


 "  "  " #$%

American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x)

Criminal(West)

American(West) Missile(M1) Owns(Nono,M1) Enemy(Nono,America)

  " #$%  " #$%
American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x) American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono) Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x) Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x) Enemy(x,America) ⇒ Hostile(x)

Criminal(West) Criminal(West)

American(West) Missile(M1) Owns(Nono,M1) Enemy(Nono,America) American(West) Missile(M1) Owns(Nono,M1) Enemy(Nono,America)

 " #$%  " #$%

American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x) American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono) Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x) Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x) Enemy(x,America) ⇒ Hostile(x)

Criminal(West) Criminal(West)

Sells(West,M1,Nono) Sells(West,M1,Nono)

American(West) Missile(M1) Owns(Nono,M1) Enemy(Nono,America) American(West) Missile(M1) Owns(Nono,M1) Enemy(Nono,America)

  " #$%  " #$%
American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x) American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono) Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x) Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x) Enemy(x,America) ⇒ Hostile(x)

Criminal(West) Criminal(West)

Weapon(M1) Sells(West,M1,Nono) Weapon(M1) Sells(West,M1,Nono)

American(West) Missile(M1) Owns(Nono,M1) Enemy(Nono,America) American(West) Missile(M1) Owns(Nono,M1) Enemy(Nono,America)

 " #$%  " #$%

American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x) American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono) Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x) Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x) Enemy(x,America) ⇒ Hostile(x)

Criminal(West) Criminal(West)

Weapon(M1) Sells(West,M1,Nono) Hostile(Nono) Weapon(M1) Sells(West,M1,Nono) Hostile(Nono)

American(West) Missile(M1) Owns(Nono,M1) Enemy(Nono,America) American(West) Missile(M1) Owns(Nono,M1) Enemy(Nono,America)

  " #$% & "
American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x)

> 

? &
&  #
   
 7A
 #

Criminal(West)  07*
 ;

 
- 

5

6


 

 $.

   
 
  


  
 

;%
 &
#

Weapon(M1) Sells(West,M1,Nono) Hostile(Nono)  =
6
  # 
 =
 

3
,

 %

4#
6 


 
#

American(West) Missile(M1) Owns(Nono,M1) Enemy(Nono,America)

' "  " ' " $%

American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)
Owns(Nono,M1)
Missile(M1)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x)
American(West)
Enemy(Nono,America)
' " $% ' " $%

American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x) American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)

Owns(Nono,M1) Owns(Nono,M1)
Missile(M1) Missile(M1)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono) Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x) Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x) Enemy(x,America) ⇒ Hostile(x)
American(West) American(West)
Enemy(Nono,America) Enemy(Nono,America)

' " $% ' " $%

American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x) American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)

Owns(Nono,M1) Owns(Nono,M1)
Missile(M1) Missile(M1)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono) Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x) Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x) Enemy(x,America) ⇒ Hostile(x)
American(West) American(West)
Enemy(Nono,America) Enemy(Nono,America)
' " $% ' " $%

American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x) American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)

Owns(Nono,M1) Owns(Nono,M1)
Missile(M1) Missile(M1)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono) Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x) Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x) Enemy(x,America) ⇒ Hostile(x)
American(West) American(West)
Enemy(Nono,America) Enemy(Nono,America)

' " $%



7
# #E
#
F4



7

#  

3 
,  4





G %
64  #

American(x)∧Weapon(y)∧sells(x,y,z)∧Hostile(z) ⇒ Criminal(x)
Owns(Nono,M1)
Missile(M1)
Missile(x)∧Owns(Nono,x) ⇒ Sells(West,x,Nono)
Missile(x) ⇒ Weapon(x)
Enemy(x,America) ⇒ Hostile(x)
American(West)
Enemy(Nono,America)
"
 &$


,
  & ##&7

 ##
)
&

 #
1
 0
&H
 ,  
&)

 #1*
%"#.
%#..
%#

,  3 

 )>

? * 1*> ?
 ) 

*
#
 

.#
% .>?
 



7

#  ##


 

!  #% 
$  &

( 6

>

? 


## 68&



&$
 %
 

K


H # ! =*4 
 )&  &%'  

K
1* 2

2.



.

.

#  



(
-

#1

-
1 L%
M*N
K
O
8
 %
% M*
K


 %.8
 


%
I.J1*
 J.I M*
I.J1*I.
 J.I L

 #$%
 #$%

9-

#,


>
  ?-
( 



#P
(=I

& 
  @.

 
* 
  
J)7
 >J)
7

#?

1  3 
.







 




(


#
(=I
 .%1 



(


#.%1 




(

 .%1 
  





(

#-
  

   (%



  
#
  0
%

P-

 #
# 

 
 

#. 6



6
   -

   


 #$% "
 #$%


J)7  #
  : 

.
P

  :-



%6 # ' 
%%
  %1
6
1 
 !" 

 #$!
!"  
!" 
  #  
# 

(

&




-' 1
0
P
 6

 #
3 


 
    # %
1

 7M

(
&  4
.J)7## #  %
 %

>%?1  % %
 (%! 
 
  ;
M
 )
! 
 
 & '  
 '
"
 #$% !
 &$


 
  #M
7

# * 





 (

  # %&
 

'  1
 E×F" + -. 

  
 #
 #*  #.*  #.

 R /0+1



 1  "≤ .2
0+
(& 
 ) 
 )  E 

 *  *
 ≠ ,


P Q
(8


7

#  
 
Q0
6≠  
% 
(&+ 
 ) 
 )  345
    (
 *  * ,


(  
 

(     




 N..
.OS ENO(EN.
.O


 
 
 




 >?


 S 
!

 6
 
 &%

6
 .# 
#
 

 . P&

 


$

##  
 




67
!6. 6+
P 

 46* 

%  #
 & 
 

 





!6. 6+ 67
 A6 # 1 N T(O.  

 ! 

M



  # 
6 
 "
 . N "T OM
! 6+ 6+

!6. 6+ 6.46+  0


 
 

M
 0
Q P%# S
!345 6+ 3467!5 6+ 67

 

 

0

6' 1
)


 #


 &%
!. + 7  (  . + 7  (  


# 

51
!. + 7  (  

A

 ##
   @
 
 #

51
. + 7  (  
.    

 
!8 9 . + 



51 8
 9
. + 
  # N"..+.U./.."O
NO
% 
8
. 9
+
8
. + 9

 N".+.."ON.U./O

5
. 


#4.
%
 %

( 


  




.
 

 
; 6 6. 6+
 )
.%>:?
& 


 

 

3 .P 6



 
 #
$R.

  1

 
; 345 345. 6+
30;

;    
; 5 5. 6+

( .% #  

% 



&. ≥P 


 1



.

 
 &
1 
; 345 6. 345+
 32<
;
=


  #
 .

; 5 6. 5+


 




M


$R.
 ≥
 
 

(
.
# 
.  


     .#
' 
 
&
 
.
  


 
 .

 &  

 
  


0
6


 

  

.
)%. 

 






 
#.& %  
1

 




 Q

3

 &
.
6
#
 .

P

  

1 
6
6.  #
 
# *
 !6
#

 

  
 1
 3


 
.

   
#  
345 *

 
. &

    
5 6

3 6 6. 6+
 5
 &%.

 &
%6 # !6. 346+ *

#
 . 
 #*
 
 .
 # 

  

!


 #  
 '
6
.$P
&
%


6

%

Q

  
  #$%( 


5#




( 

#
#
* .
-
 #
 


 

6"M
 ; & #1


(

%
 &% 
1 > 

#
 '




 
 7

  & #

 #

 
?
 7

 &

  # 

>
?  


%1
> 

#
 '





 & #

 #

 
?

2   


#Q
 
 )%
 

, # #(7
#1  K KKK0. .3 0.5 
K
$ .  0V

 
 
$   


 

 3 0
   


 

 V 
 





  

% 3 0V 0
 

A


#%1 5 V
  0
(6>
?

$ 
5
 &%
K

 

$  split_list_at_element_n(0,Rest,[],Rest).
7>
?
6
# 
 split_list_at_element_n(Num,[Head|Tail],[Head|Tail2],Rest):-

 &
. 
 * Num2 is Num -1,


.  

 split_list_at_element_n(Num2, Tail, Tail2,Rest).

)%
  )%
 
KK
0.)
.)

0V(->
?
%
)

# ". .4
   )
V( 


 


"V 


 )
V( 


 

V
 


  
 



6
4
  V(


 

 "  run_add_spaces(_,[],[]).
8
 

 run_add_spaces(Num,AsciiList,AsciiList2):-
split_list_at_element_n(Num,AsciiList,FirstN,Rest),
is_word(FirstN),
run_add_spaces(1,Rest,RestWithSpaces),
merge(FirstN,[32|RestWithSpaces],AsciiList2). %32 is a space in ascii
merge([],List,List).
run_add_spaces(Num,AsciiList,AsciiList2):-
merge([Head|Tail],List,[Head|List2]):- Num2 is Num + 1,
merge(Tail,List,List2). length(AsciiList,Length),
Num2 @=< Length,
run_add_spaces(Num2,AsciiList,AsciiList2).

  

3 ,  4.,
#
add_spaces(AsciiList,AsciiList2):-
; @A
7

run_add_spaces(1,AsciiList,AsciiList2),
3
4  #
64  #
name(S2,AsciiList2),
J  

7

#
name(S,AsciiList),   
  

format("'~p'~nwith spaces added is~n'~p'~n",[S,S2]).  >
*
#
?-




.#
% 

%-%
 
1*.NOT



    

 

 

%
 &



(* 
%

# 1
1CC

CW&
CJC

J



%
 -
 


$
*