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