Leibniz System Software

The Leibniz System software carries out most algorithms of the book Design of Logic-based Intelligent Systems , published by Wiley, 2004.

The Leibniz System software is NOT public domain software, but is owned by the Leibniz Company and is protected by US copyright law. Each purchaser of the book automatically acquires a license to download the Leibniz System software for use in commercial and non-commercial installations. The software is supplied in source code form and with accompanying manual.

The following conditions and restrictions apply to the downloading and use of the Leibniz System software. In the description below, the term "purchaser" is a person, or a for-profit or not-for-profit corporation, or any other organization such as a university, institute, or entity of government. The term "book" refers to the book "Design of Logic-based Intelligent Systems," published by Wiley, 2004. The term "controlled" means owned or leased.

Here are the restrictions for downloading and use of the Leibniz System software.

  1. Downloading and use of the Leibniz System software requires purchase of the book. The purchaser of the book may install copies of the software on any and all computers controlled by purchaser. Any downloading or use that does not satisfy this restriction is a violation of US copyright law.

    Examples for installations satisfying the restriction, assuming that the person or entity in question has purchased one copy of the book.

    - A student owns a laptop computer and another PC and installs the software on both computers.

    - Texas A & M University installs the system on hundreds of computers owned by the university.

    - IBM Corporation installs the software on tens of thousands computers owned by the corporation.

    - The United States Federal Government installs the software on millions of computers owned by the Federal Government.

  2. No portion of the source code, object code, or executable code of the Leibniz System may be used outside the logic programming operations, learning logic operations, and data transformation operations for which the Leibniz System software has been designed.

  3. Intelligent systems and other software constructed with the aid of the Leibniz System software by the purchaser of the book may be sold or licensed by the purchaser without restriction, EXCEPT for the following condition: The start-up window or page of the constructed system must acknowledge use of the Leibniz System. For example, the statement "System X uses Leibniz System" or "System X built with Leibniz System" suffices.

  4. The Leibniz Company, which supplies the Leibniz System software, makes no representation or warranty, expressed or implied, as to the condition, merchantability, title, design, operation, or fitness for a particular purpose of the Leibniz System software. In particular, the Leibniz Company does not assume responsibility for any errors, including mechanics or logic, in the operation or use of the Leibniz System software, and has no liability whatsoever for any loss or damages suffered by any user of the software as a result of the Leibniz System software. In particular, in no event shall the Leibniz Company be liable for special, incidental, consequential, or tort damages, even if Leibniz has been advised of the possibility of such damages.

  5. The Leibniz Company provides no software support for the Leibniz System. However, it is requested that the user report any difficulties to [email protected], providing details as outlined in the manual for each component of the Leibniz System.

  6. One may download the Leibniz System only if one agrees to the above restrictions and conditions.

Downloading and Installation of Leibniz System

  1. Get the files leibniz.zip and manchap2.pdf.

  2. Print manchap2.pdf and follow the instructions to install the Leibniz System using the file leibniz.zip.

Use of Leibniz System

  1. Getting going with the use of the Leibniz System is much easier if the user first reads Chapters 1 and 2 of the book "Design of Logic-based Intelligent Systems."

  2. The University of Texas at Dallas offers each Spring Semester the graduate course CS 6373 Intelligent Systems, which covers the entire book and Leibniz System software. Also, some workshops are available during 2004, see Schedule and Summary of Workshops . Additional workshops will be offered as requested by users. Contact [email protected] if you are so interested.

Leibniz System Applications

We are collecting applications or other special programs produced by Leibniz System users. This section contains brief references to each such program.

If you want to contribute to this material or use the programs supplied here, please be aware of the following conditions.

  1. All programs must be supplied in source code and without any restriction, condition of use by others, or fee or charge of use. Thus, all such programs are in the public domain. Send one compressed file of the entire program and, separately, a short description in ASCII text describing the purpose of the program. The description and compressed file will be posted below.

  2. Optionally, the person supplying the code may include in the description the name and contact address, in case he/she is willing to provide assistance in the use of the program. Such assistance must not involve payment of fees or charges. The latter condition is imposed so that this website does not become an advertisement medium for commercial products.

  3. The user of any programs supplied here must agree that all programs are made available without any guarantee whatsoever, just like other public domain software such as the gcc compiler.

If you agree to the above conditions and want to supply a program, please send the description and program files to [email protected]

C++ Version of Leibniz System

Modifications of files needed to interface Leibniz System, which is written in C, with C++:

description and program file