Piere Deransart,
and
AbdelAli
Ed-Dbali,
produced an executable formal specification for Prolog as part of the process
of the creation of Part 1 of the standard.
The specification is an annex to the standard. Furthermore this executable
specification is available by FTP.