... Ostroff^{<#1270#>1<#1270#><#1270#>1<#1270#>}

<#15#>Jonathan Ostroff is with the Department of Computer Science, York University 4700 Keele Street, North York, Ontario, Canada, M3J 1P3. Email: jonathan@cs.yorku.ca. This work is supported by the Natural Sciences and Engineering Research Council of Canada<#15#>

... Prolog^{<#1276#>2<#1276#><#1276#>2<#1276#>}

<#22#>Quintus Prolog is a copyright of Quintus Computer Systems, Inc.<#22#>

... QP)^{<#1278#>3<#1278#><#1278#>3<#1278#>}

<#23#>There is also a QOF file avialable for Quintus Prolog 2.5.1<#23#>

... ftp^{<#1294#>4<#1294#><#1294#>4<#1294#>}

<#365#> If you are using Quintus Prolog 2.5, then ftp the file <#35#>verify251.tar.Z<#35#>. When using this version of prolog, the file <#36#>dynam.ttm<#36#> must be available if the <#37#>compose<#37#> procedure is used. Also the lines beginning with the <#38#>multifile<#38#> and <#39#>dynamic<#39#> declarations in the <#40#>.ttm<#40#> files must be commented out. <#365#>

... BUILD^{<#1314#>5<#1314#><#1314#>5<#1314#>}

<#84#>BUILD has not yet been made publicly avialable as it is still being tested.<#84#>