search

triska / the-power-of-prolog

Introduction to modern Prolog
https://www.metalevel.at/prolog
1.23k stars 76 forks source link

`if` spelled as `iff` #16

Closed XVilka closed 5 years ago

XVilka commented 5 years ago

In logical purity section:

call(Goal) is pure iff Goal is pure

image

fnogatz commented 5 years ago

Here, iff probably is short for if and only if, as it is common for logical formulae :)

triska commented 5 years ago

Yes indeed, it stands for if and only if, and this should be explained somewhere, maybe together with other terms.