SWI-Prolog -- is_most_general

Availability:built-in

is_most_general_term(@Term)

True if Term is a callable term where all arguments are non-sharing variables or Term is a list whose members are all non-sharing variables. This predicate is used to reason about call subsumption for tabling and is compatible with XSB. See also subsumes_term/2. Examples:

1 is_most_general_term(1) false

2 is_most_general_term(p) true

3 is_most_general_term(p(_)) true

4 is_most_general_term(p(_,a)) false

5 is_most_general_term(p(X,X)) false

6 is_most_general_term([]) true

7 is_most_general_term([_|_]) false

8 is_most_general_term([_,_]) true

9 is_most_general_term([X,X]) false

1	`is_most_general_term(1)`	false
2	`is_most_general_term(p)`	true
3	`is_most_general_term(p(_))`	true
4	`is_most_general_term(p(_,a))`	false
5	`is_most_general_term(p(X,X))`	false
6	`is_most_general_term([])`	true
7	`is_most_general_term([_\|_])`	false
8	`is_most_general_term([_,_])`	true
9	`is_most_general_term([X,X])`	false