:- module prolog.
:- pragma termination_info(prolog:'=:='((builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(prolog:'=\\='((builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(prolog:'=='((builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(prolog:'\\=='((builtin:in), (builtin:in)), finite(0, [no, no, no]), cannot_loop).
:- pragma termination_info(prolog:'=..'((builtin:in), (builtin:out)), infinite, cannot_loop).
:- pragma termination_info(prolog:arg((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).
:- pragma termination_info(prolog:det_arg((builtin:in), (builtin:in), (builtin:out)), infinite, can_loop).