!! " #$! %& '(
)* &/ 0 # ) & )* & " 1 ! )*
/ " ! "
$#% ) ! " 2 .
' " 3 )* $ % #
4 &
! " # ! ! ! $ !
% &% &
! ! %
! " # " # ! $% & # ' $(% # # ) * )* + &, " - + , " . "
) )567
)567 " $ % 8 $8% 7 $9 : 0% - 1
$% !#
"
!
! "#
< )* ) > # ?& " )* - - - < - " * 3 $@%
- " - " "+ , < ) & " )* < - " $(% ) &
$;% * " '
4 & ! $0% 4 & & . /
" 6 )567 4 )* )* $(% + , < $#% )* " " )* "
)* =
)B0 0 0 B 0 ! ) %B0 < # D ( ( 1 & & / 3 ( ( & $(% B $(%E $(% ( ! $(%B$(%− > - + , " $(% ' & - - < - " & & - 3 & - 3
# &
" 3 +, & +, & 3 & " & 7F5. & - .
A " 1 )* 3 1 8
! "
1 ) ' ' 5 # -
< ' < # ) & 3 ( ) B 0 % & (
C )*
$(% 3 $%
' = # ' " 3 ( -
z
z
z
x
x
x
y
y y
$
% &' !
#
4& - - " 7 < " < 9
' ' ' = - &
- & # " " . "
- - ) - - " & " " G #006'4* )))*! " ( 9@00&:00 < (
# " " $
3 )* / - G " ) ) &
& .
% $ $ &'$
3 )* G - * 5 9 613 3 & & & & " G FD & 7
@00&:00 & 4 900� & ##6'4 * )) *! G FD 3
" & . & ! ( ! < : ? )* 4 / 4
)* & ;0 . ! " - $#% )* - &
()
9
( " $ $"
"$
< / < # > - )* /
4 & )* < : " < : " & http://www.cs.ust.hk/~cpegnel/ACLP/
6 " 6 "< H! D * ! 'IC1
! "# $ %&' () * ' +,- . // 0 1 0 ' 0+ / +.! ,2 +. 3 2 " 41.' 5 $ ' 6 $ ,7 8 0+ + + ./ . 09. ! " # : " ; < 1 ) < ) "=1.& > 4 $ 1'+ / $ / +.:2,3: +. ? 3 @ A.+ ./ '. ' & ' ' .+1 ' + % / +.!!3,!2! +. B ? > C0 C+ 1 + $ & / +. 2,:! +. ? B C>>11 <5. /1 /' 1+@' +, - . + . .' / +.2 ,:? +. 3 # 8 > . D 5 11+ ... . ' + '/ . / +. ,, +. 3 ">"= $)6 (9' /+ $ &/ +.!,2E +. ? E "' C D ) + 9 ' . . / +. ! ,2E? +. ) "=1.& "' $ + 1109/ ' ' . . 0 ' ' /. / +.2 ,:? +. 3 !# ( !' () * 11 2D D + ! ! + ! #6.+.. 89 & E
) * +
3 " G & )* 3 - " 6 )567 & ) " #
) & G " & - < &
" "
(
* ' + % , !, ! - . !
"#/
0' + ! , , ! + ! ! ,! + !
:
