diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add plus/3

Browse Source
This commit is contained in:
Vítor Santos Costa 2010-05-04 16:33:35 +01:00
parent c8c34d4773
commit 02459e7bec
1 changed files with 63 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

63
pl/arith.yap
View File

@ -398,3 +398,66 @@ succ(M,N) :-
nonvar(N), nonvar(N),
N < 0, N < 0,
'$do_error'(domain_error(not_less_than_zero, N),succ(M,N)). '$do_error'(domain_error(not_less_than_zero, N),succ(M,N)).
plus(X, Y, Z) :
(
var(X)
>
(
integer(Y), integer(Z)
>
'$minus'(Z,Y,X)
;
'$plus_error'(X,Y,Z)
)
;
integer(X)
>
(
var(Y)
>
(
integer(Z)
>
'$minus'(Z,X,Y)
;
'$plus_error'(X,Y,Z)
)
;
integer(Y)
>
(
integer(Z)
>
'$minus'(Z,Y,X)
;
var(Z)
>
'$plus'(X,Y,Z)
;
'$plus_error'(X,Y,Z)
)
;
'$plus_error'(X,Y,Z)
)
;
'$plus_error'(X,Y,Z)
).
'$plus_error'(X,Y,Z) :
nonvar(X),
\+ integer(X),
'$do_error'(type_error(integer, X),plus(X,Y,Z)).
'$plus_error'(X,Y,Z) :
nonvar(Y),
\+ integer(Y),
'$do_error'(type_error(integer, Y),plus(X,Y,Z)).
'$plus_error'(X,Y,Z) :
nonvar(Z),
\+ integer(Z),
'$do_error'(type_error(integer, Z),plus(X,Y,Z)).
'$plus_error'(X,Y,Z) :
'$do_error'(instantiation_error,plus(X,Y,Z)).