Ответ: Mercury и все о нем!
Mercury — язык логического программирования, призванный решить следующие две проблемы, которые возникают при использовании классического языка логического программировани Prolog:
проблема производительности. Современные реализации языков логического программирования по производительности уступают реализациям языков программирования императивного типа.
проблема отладки. Реализации языков логического программирования осуществляют меньше проверок во время компиляции, чем реализации языков программирования императивного типа. Это вынуждает программиста находить ошибки самому и без какой-либо существенной помощи со стороны отладчика.
Компилятор языка Mercury написан на самом языке. До того как компилятор Mercury смог скомпилировать себя сам, был использован язык Prolog.
Computer/Processor: IBM-PC or compatible with a Pentium III or higher (Pentium IV or higher recommended) microprocessor.
Operating System: Windows 2000-Service Pack 4, Update Rollup 1 for Windows 2000 Service Pack 4, Windows XP 32-Bit Edition-Service Pack 2, Windows XP 64-Bit Edition-Service Pack 1, Windows Server 2003 32-Bit Edition-Service Pack 1, or Windows Server 2003 R2 (32-Bit x86).
Memory: Minimum of 256 MB of RAM (512 MB recommended).
Color Settings: Minimum of High Color (16 bit).
Free Hard Disk Space: 345 MB of free disk space for application files and folders (485 MB recommended), and an additional 120 MB of free disk space on the system disk (the disk on which the operating system is installed).
After QuickTest Professional is installed, it is recommended to have at least 150 MB free disk space on the system disk for the operating system and QuickTest Professional to run correctly.
Browser: Microsoft Internet Explorer 6.0 Service Pack 1 or 7.0 Beta 2 (beta-level support).
[ED2K]ed2k://|file|Mercury%20QuickTest%20Pro%209.exe|294397565|A7AC63CECE5901E39893637F987E3B71|h=AI3V3NMYXNU5D3ZMZOZL6T3GZLCYKFZD|/[/ED2K]
You must be registered for see images
проблема производительности. Современные реализации языков логического программирования по производительности уступают реализациям языков программирования императивного типа.
проблема отладки. Реализации языков логического программирования осуществляют меньше проверок во время компиляции, чем реализации языков программирования императивного типа. Это вынуждает программиста находить ошибки самому и без какой-либо существенной помощи со стороны отладчика.
Компилятор языка Mercury написан на самом языке. До того как компилятор Mercury смог скомпилировать себя сам, был использован язык Prolog.
You must be registered for see links
You must be registered for see links
предоставлено пользователем daoway
You must be registered for see images
Operating System: Windows 2000-Service Pack 4, Update Rollup 1 for Windows 2000 Service Pack 4, Windows XP 32-Bit Edition-Service Pack 2, Windows XP 64-Bit Edition-Service Pack 1, Windows Server 2003 32-Bit Edition-Service Pack 1, or Windows Server 2003 R2 (32-Bit x86).
Memory: Minimum of 256 MB of RAM (512 MB recommended).
Color Settings: Minimum of High Color (16 bit).
Free Hard Disk Space: 345 MB of free disk space for application files and folders (485 MB recommended), and an additional 120 MB of free disk space on the system disk (the disk on which the operating system is installed).
After QuickTest Professional is installed, it is recommended to have at least 150 MB free disk space on the system disk for the operating system and QuickTest Professional to run correctly.
Browser: Microsoft Internet Explorer 6.0 Service Pack 1 or 7.0 Beta 2 (beta-level support).
You must be registered for see links
You must be registered for see links
[ED2K]ed2k://|file|Mercury%20QuickTest%20Pro%209.exe|294397565|A7AC63CECE5901E39893637F987E3B71|h=AI3V3NMYXNU5D3ZMZOZL6T3GZLCYKFZD|/[/ED2K]
