Leibniz System Software
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 noncommercial 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
- 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
Examples for installations satisfying the restriction.
- A student has purchased one copy of the book. He/she owns a laptop
computer and another PC and installs the software on both computers.
- Texas A & M University has purchased one copy of the book and
installs the system on hundreds of computers owned by the university.
- IBM Corporation has purchased one copy of the book and installs the
software on tens of thousands computers owned by the corporation.
- The United States Federal Government has purchased one copy of the
book and installs the software on millions of computers owned by the
- 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.
- 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.
- 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.
- One may download the Leibniz System only if one agrees to the above
restrictions and conditions.
- Get the files leibniz.zip
The current version is 10.0, issued May 18, 2007.
For a summary of code
changes introduced by recent versions, get code_changes.txt
- Print manchap2.pdf and follow the instructions to install the Leibniz
System using the file leibniz.zip.
We are collecting application programs and other Leibniz-related software
provided by Leibniz System users. This section provides that software.
- 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
- Workshops are offered, see Schedule and Summary
of Workshops . Additional workshops can
be arranged. Contact firstname.lastname@example.org
if you are so interested.
If you want to contribute programs or use the programs supplied here, please
be aware of the following conditions and restrictions.
If you agree to the above conditions and want to supply a program, please
send the description and program files to
- 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.
- 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. If such assistance involves payment of fees
or charges, this must be clearly stated as part of the program description.
- The user of any program 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.
C++ Version of Leibniz System
Modifications of files needed to interface Leibniz System with C++.
Python Program for Evaluation of Logic Formulas Generated by lsqcc
Python program for rapid evaluation of logic formulas produced by the
Differential Diagnostic Systems Software
An implementation of the empirical construction of differential diagnostic systems described in
Design of Logic-based Intelligent Systems . Consists of