FormulaOne

FormulaOne is a constraint logic programming (CLP) system for the development of applications.

FormulaOne Programmer's Manual

text/html; charset=iso-8859-1. ... This file documents the use of the Formula One compiler. Copyright © 2003, 2004, 2005, 2006 K2 Software Corp. ...

F1 Compiler FAQ

General Questions. Is it free? What's in the name... What is declarative programming... Who should use the F1 compiler. ...

Formula One Compiler Release Notes

System Requirements. What's New. Getting Started. Known Issues. Standalone Executables. Reporting Bugs. Latest Release ...

FormulaOne Sample Code

Here is an assorted mix of Formula One sample codes:. Queens - Generalized N-queens problem. Place N queens on a chessboard NxN so that the queens don't ...

FormulaOne Downloads

Downloads. The latest release available for download is F1release40r, containing the following components and their build numbers: ...

FormulaOne Screenshots

Getting Started. Step by step instructions: compile a sample program Queens.f1. Load the project “Samples”. This project can be loaded using the “Recent ...

FormulaOne Compiler Support

F1 Compiler Support. Please forward any questions by e-mail to support@f1compiler.com. Please use the same e-mail address if you find any other issues that ...

F1 Source Code: Sudoku.f1

SUDOKU // // The puzzle was invented in Basel, Switzerland, by 18th century matematician // Leonhard Euler. Euler called his puzzle "Magic Squares", ...

F1 Source Code: FourWord.f1

FourWord problem: place these letters: // // a,b,e,l,n,o,p,p,s,t // // into the blank spaces to create four-letter words down and accross. ...