The local INRIA 
Prolog WEB pages INRIA pages are no more active, nor LIFO pages, but fortunately you may still find the original pages here
Thank's Jonathan!
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.