About 4qlModeler
-
- 4qlModeler 2.0 is a an environment for developing 4QL knowledge bases, prepared by Maria Rekowska. It extends 4qlModeler 1.0 developed by Łukasz Makar.
- The environment has been developed for experimental/educational purposes.
- The package you can download contains:
- binaries for MS Windows;
- sources in C# ready for compilation under Windows;
- documentation;
- sample 4QL programs.
Licence
-
General
- The contents of the 4qlModeler 2.0 software including source code is covered under the GNU GPL 3 license.
- The 4qlModeler 2.0 project copyrights belong to Łukasz Makar and Maria Rekowska in respective parts. All rights reserved.
- The program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version.
- This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
- Full details of the GNU GPL 3 license are available from the GNU project site.
- A copy of the GNU General Public License is available by writing to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
-
How does the GNU license affect developers who want to modify 4qlModeler 2.0?
- 4qlModeler 2.0 is open source software - under the GNU GPL 3. This gives you legal permission to copy,
distribute and/or modify the software. Open source software is free to use and free to change. The developers of 4qlModeler 2.0 accept no responsibility for any data lost while using this program. - Any application using 4qlModeler 2.0 must bet released your under the GNU GPL 3. It can also be sold but the source code has to be released for free.
- 4qlModeler 2.0 is open source software - under the GNU GPL 3. This gives you legal permission to copy,
If you accept the above terms and conditions, please click here to download the package
Further information
-
Trademarks and libraries used:
- Inter4QL - inter4ql
- ANTLR4 - http://www.antlr.org/
- ProgressDialogEx - http://www.parago.de/2011/04/how-to-implement-a-modern-progress-dialog-for-wpf-applications/
- AvalonDock - http://avalondock.codeplex.com/
- AvalonEdit - https://github.com/icsharpcode/SharpDevelop/wiki/AvalonEdit
- GraphX - https://graphx.codeplex.com/
- CS-Script - http://www.csscript.net/
- Mono C# Compiler - http://www.mono-project.com/docs/about-mono/languages/csharp/
- Windows is a trademark of Microsoft Corporation, registered in the United States and other countries.
-
Revision History
- 27 August 2015: 4qlModeler 2.0 by Maria Rekowska.
Changes include:- the whole interpreter is ported to C#;
- body of rules can contain arbitrary first-order formulas (with quantifiers);
- domains can be imported from domains of modules in lower layers;
- computation of well-supported models is visualized.
- 7 October 2014: 4qlModeler 1.0 by Łukasz Makar.
- 27 August 2015: 4qlModeler 2.0 by Maria Rekowska.