:- module(test_intf, [intf_pred/3, intf_meta/2]). :- use_module(library(interface)). :- meta_predicate intf_meta(0,+). :- end_interface.