FormulaOne
Edit Page
Report
Scan day: 16 February 2014 UTC
44
Virus safety - good
Description: Constraint logic programming (CLP) based language. Backtracking, advanced data types (including "Bignum") and data structures. IDE/Compiler for Windows 2000/XP/Vista/W7.
FormulaOne is a constraint logic programming (CLP) system for the development of applications. The design preserves and incorporates the best features of the previous generations of logical programming languages. FormulaOne is a compiler with an integrated development environment, including a built-in editor and linker. FormulaOne's compact grammar and powerful set of mechanisms for pattern matching, backtracking and advanced data structures give it surprisingly powerful techniques for handling problems involving symbolic computations. FormulaOne's syntax leads to programs that are clear, concise and well structured. The power of symbolic computation allows the FormulaOne programmer to work at a higher level of abstraction, being concerned more with the nature of the program's function and less with the "nuts and bolts" of how it will be accomplished.
Size: 888 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | FormulaOne Compiler |
| Keywords: | compiler,programming language,application development,logic,CLP,Trilogy,Prolog,GMP,bignum,puzzles,logical problem, scheduling,database tool,lisp |
| Description: | FormulaOne is a constraint logic programming (CLP) system for the development of applications. |
| IP-address: | 72.167.232.86 |
WHOIS Info
| NS | Name Server: NS01.DOMAINCONTROL.COM Name Server: NS02.DOMAINCONTROL.COM |
| WHOIS | Status: clientDeleteProhibited Status: clientRenewProhibited Status: clientTransferProhibited Status: clientUpdateProhibited |
| Date | Creation Date: 20-aug-2003 Expiration Date: 20-aug-2015 |