The local INRIA 
Prolog WEB pages
Welcome to the INRIA ISO Prolog web pages.
Live demonstrations of Prolog (LIFO pages)
Written with
GNU Prolog
and making use of the
PiLLow
Prolog -CGI library.
ALTERNATE LINK
if you have any problem in executing the formal specification, try this access
An other link to the executable formal specification
Written with
GNU Prolog
and making use of the
PiLLow
Prolog -CGI library.
Last Changed: 12/6//2009