- <#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#>
- <#1276#>2<#1276#>
- <#22#>Quintus Prolog is a copyright of Quintus Computer
Systems, Inc.<#22#>
- <#1278#>3<#1278#>
- <#23#>There
is also a QOF file avialable for Quintus Prolog 2.5.1<#23#>
- <#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#>
- <#1314#>5<#1314#>
- <#84#>BUILD has not yet been made publicly
avialable as it is still being tested.<#84#>