1m4_define(`dnl', `m4_dnl')`'dnl 2m4_divert(-1) 3 4dnl This m4 file generates the file ppl_gprolog.pl. 5 6dnl Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> 7dnl Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com) 8dnl 9dnl This file is part of the Parma Polyhedra Library (PPL). 10dnl 11dnl The PPL is free software; you can redistribute it and/or modify it 12dnl under the terms of the GNU General Public License as published by the 13dnl Free Software Foundation; either version 3 of the License, or (at your 14dnl option) any later version. 15dnl 16dnl The PPL is distributed in the hope that it will be useful, but WITHOUT 17dnl ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 18dnl FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 19dnl for more details. 20dnl 21dnl You should have received a copy of the GNU General Public License 22dnl along with this program; if not, write to the Free Software Foundation, 23dnl Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. 24dnl 25dnl For the most up-to-date information see the Parma Polyhedra Library 26dnl site: http://bugseng.com/products/ppl/ . 27 28m4_include(`ppl_interface_generator_prolog_systems.m4') 29 30m4_divert`'dnl 31/* GNU Prolog interface: GNU Prolog part. 32m4_include(`ppl_interface_generator_copyright') 33*/ 34m4_divert(-1) 35 36m4_define(`tm', ``+term'') 37 38m4_define(`start', 0) 39 40m4_define(`m4_expanded_procedure_schema', 41 `:- foreign($1`'m4_ifelse(`$2', 0, ,`(m4_term_sequence($2, `tm'))')). 42') 43 44m4_divert`'dnl 45ppl_prolog_sys_code`'dnl 46dnl 47dnl End of file generation. 48