int islinear(term t, term x, term *a, term *b); int is_linear(term t); int is_linear_in(term t, term x); int is_linear_system(term, int, term *);