8b7281fad0
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
74 lines
1.6 KiB
Prolog
74 lines
1.6 KiB
Prolog
|
|
/** Safe type tests.
|
|
|
|
"si" stands for "sufficiently instantiated". It can also be read as
|
|
"safe inference", so possibly also other predicates are candidates
|
|
for this library.
|
|
|
|
A safe type test:
|
|
|
|
- throws an *instantiation error* if the argument is
|
|
not sufficiently instantiated to make a sound decision
|
|
- *succeeds* if the argument is of the specified type
|
|
- *fails* otherwise.
|
|
|
|
For instance, `atom_si(A)` yields an *instantiation error* if `A` is a
|
|
variable. This is logically sound, since in that case the argument
|
|
is not sufficiently instantiated to make any decision.
|
|
|
|
The definitions are taken from [Safer type tests in Prolog](https://stackoverflow.com/questions/27306453/safer-type-tests-in-prolog).
|
|
|
|
Examples:
|
|
|
|
```
|
|
?- chars_si(Cs).
|
|
error(instantiation_error,list_si/1).
|
|
?- chars_si([h|Cs]).
|
|
error(instantiation_error,list_si/1).
|
|
?- chars_si("hello").
|
|
true.
|
|
?- chars_si(hello).
|
|
false.
|
|
```
|
|
*/
|
|
|
|
:- module(si, [atom_si/1,
|
|
integer_si/1,
|
|
atomic_si/1,
|
|
list_si/1,
|
|
chars_si/1,
|
|
dif_si/2]).
|
|
|
|
:- use_module(library(lists)).
|
|
|
|
atom_si(A) :-
|
|
functor(A, _, 0), % for the instantiation error
|
|
atom(A).
|
|
|
|
integer_si(I) :-
|
|
functor(I, _, 0),
|
|
integer(I).
|
|
|
|
atomic_si(AC) :-
|
|
functor(AC,_,0).
|
|
|
|
% list_si(L) :-
|
|
% \+ \+ length(L, _),
|
|
% sort(L, _).
|
|
|
|
list_si(L0) :-
|
|
'$skip_max_list'(_,_, L0,L),
|
|
( nonvar(L) -> L = []
|
|
; throw(error(instantiation_error, list_si/1))
|
|
).
|
|
|
|
chars_si(Cs) :-
|
|
list_si(Cs),
|
|
'$is_partial_string'(Cs).
|
|
|
|
dif_si(X, Y) :-
|
|
X \== Y,
|
|
( X \= Y -> true
|
|
; throw(error(instantiation_error,dif_si/2))
|
|
).
|