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
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.
- 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
- 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.
- The Leibniz Company provides no software support for the
Leibniz System. However, it is requested that the user report
any difficulties to
providing details as outlined in the manual for each
component of the Leibniz System.
- One may download the Leibniz System only if one agrees
to the above restrictions and conditions.
Downloading and Installation of Leibniz System
- Get the files
- Print manchap2.pdf and follow the instructions to install
the Leibniz System using the file leibniz.zip.
Use of Leibniz System
- 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."
- 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
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.
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.
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.
- 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.
C++ Version of Leibniz System
Modifications of files needed to interface Leibniz System,
which is written in C, with C++: