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

??

Browse Source
This commit is contained in:
Vítor Santos Costa 2015-11-05 17:20:25 +00:00
parent 27bfbdc1be
commit ed4b76ddc6
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pl/arithpreds.yap
View File

@ -22,7 +22,7 @@
@addtogroup arithmetic_preds @addtogroup arithmetic_preds
*/ */
:- system_module(arithmetic_predicates, [ :- system_module(arithmetic_predicates, [
@ -41,7 +41,7 @@
a negative integer. E.g. `succ(X, 0)` fails silently and `succ(X, -1)` a negative integer. E.g. `succ(X, 0)` fails silently and `succ(X, -1)`
raises a domain-error. The behaviour to deal with natural numbers raises a domain-error. The behaviour to deal with natural numbers
only was defined by Richard O'Keefe to support the common only was defined by Richard O'Keefe to support the common
count-down-to-zero in a natural way. count-down-to-zero in a natural way.
*/ */
@ -167,5 +167,3 @@ plus(X, Y, Z) :-
'$do_error'(type_error(integer, Z),plus(X,Y,Z)). '$do_error'(type_error(integer, Z),plus(X,Y,Z)).
'$plus_error'(X,Y,Z) :- '$plus_error'(X,Y,Z) :-
'$do_error'(instantiation_error,plus(X,Y,Z)). '$do_error'(instantiation_error,plus(X,Y,Z)).