diff --git a/ppl-0.9-swiprolog.patch b/ppl-0.9-swiprolog.patch
new file mode 100644
index 0000000..53ff8ed
--- /dev/null
+++ b/ppl-0.9-swiprolog.patch
@@ -0,0 +1,12 @@
+diff -ur ppl-0.9/m4/ac_check_swi_prolog.m4 ppl-0.9-patched/m4/ac_check_swi_prolog.m4
+--- ppl-0.9/m4/ac_check_swi_prolog.m4	2006-01-18 16:30:03.000000000 +0100
++++ ppl-0.9-patched/m4/ac_check_swi_prolog.m4	2008-09-08 10:22:10.000000000 +0200
+@@ -41,7 +41,7 @@
+ 
+   dnl Additional version checks could be inserted here, if necessary.
+ 
+-  SWI_PROLOG_INCLUDE_OPTIONS="-I${swi_prolog_base}/include"
++  SWI_PROLOG_INCLUDE_OPTIONS="-I${swi_prolog_base}/include -I/usr/include/pl"
+   ac_save_CPPFLAGS="$CPPFLAGS"
+   CPPFLAGS="$CPPFLAGS $SWI_PROLOG_INCLUDE_OPTIONS"
+   AC_LANG_PUSH(C++)
diff --git a/ppl.spec b/ppl.spec
index 8a78018..ed066bf 100644
--- a/ppl.spec
+++ b/ppl.spec
@@ -1,6 +1,6 @@
 Name:		ppl
 Version:	0.9
-Release:	21%{?dist}
+Release:	22%{?dist}
 
 Summary:	The Parma Polyhedra Library: a library of numerical abstractions
 Group:		Development/Libraries
@@ -14,6 +14,7 @@ Patch0:		ppl-0.9-docfiles.patch
 Patch1:		ppl-0.9-configure.patch
 Patch2:		ppl-0.9-makefiles.patch
 Patch3:		ppl-0.9-cstdlib.patch
+Patch4:		ppl-0.9-swiprolog.patch
 #Icon:
 #Requires:
 Requires(post): /sbin/ldconfig
@@ -162,6 +163,7 @@ This package contains the static archive for the Parma Watchdog Library.
 %patch1 -p1
 %patch2 -p1
 %patch3 -p1
+%patch4 -p1
 
 %build
 CPPFLAGS="-I%{_includedir}/glpk"
@@ -309,6 +311,9 @@ install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh
 rm -rf %{buildroot}
 
 %changelog
+* Mon Sep 8 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-22
+- Implemented a workaround to cope with the new location of SWI-Prolog.h.
+
 * Mon Sep 8 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-21
 - Fixed the SWI-Prolog interface dependencies.