To start Quintus Prolog (in an Emacs window)
verbatim118#
In order to compile <#325#>verify.pl<#325#> to obtain a compiled version of the code called <#326#>verify<#326#>, the following procedure is invoked:
verbatim119#
The state can now be saved as A QOF file.
The second argument of <#331#>save_program<#331#>, i.e. <#332#>start<#332#>, determines which Prolog prdicate is called on entry into the saved state.verbatim120#