]> Repositorios git - scryer-prolog.git/commit
ADDED: dif_si/2
authorMarkus Triska <[email protected]>
Sat, 22 Apr 2023 22:37:03 +0000 (00:37 +0200)
committerMarkus Triska <[email protected]>
Sat, 22 Apr 2023 22:37:14 +0000 (00:37 +0200)
commit8b7281fad08db58cc00e5c7cb5fdc43b4dc3f24f
tree3c79533a54a78f89ef12925af6288e3c34645947
parent502574dfc3eb3a6352c9e5a1b05478e9d05159c5
ADDED: dif_si/2

Source: https://stackoverflow.com/questions/20223390/prolog-a-person-is-a-sibling-of-himself

In Scryer Prolog, this is actually not needed, since Scryer Prolog provides
dif/2 in library(dif). However, it is still useful to provide dif_si/2 for two reasons:

  1) to more easily port code from systems where only dif_si/2 is available
  2) to provide correct disequality in other systems that adopt this library
src/lib/si.pl