1/*****************************************************************************
    2 * This file is part of the Prolog Development Tool (PDT)
    3 * 
    4 * Author: Andreas Becker
    5 * WWW: http://sewiki.iai.uni-bonn.de/research/pdt/start
    6 * Mail: pdt@lists.iai.uni-bonn.de
    7 * Copyright (C): 2012, CS Dept. III, University of Bonn
    8 * 
    9 * All rights reserved. This program is  made available under the terms
   10 * of the Eclipse Public License v1.0 which accompanies this distribution,
   11 * and is available at http://www.eclipse.org/legal/epl-v10.html
   12 * 
   13 ****************************************************************************/
   14
   15:- use_module(pdt_meta_specification, [extended_meta_predicate/2]).   16:- use_module(pdt_prolog_metainference, []).   17%:- [meta_inference_examples].
   18%:- [meta_inference_test].
   19
   20/* 
   21declared_in_module(Module, Name, Arity, Module), functor(Head, Name, Arity), infer_meta(Module:Head, MetaSpec), infer_meta_predicate(Module:Head, MetaSpec2), MetaSpec \== MetaSpec2.
   22
   23pmi:inferred_meta_pred(_, M, MetaSpec), predicate_property(M:MetaSpec, file(File)), atom_concat('l:/work/beckera/git-repos/jtransformer', _, File), \+ predicate_property(M:MetaSpec, meta_predicate(_)).
   24*/