Occasionally I can't resist the temptation of lisping a few sweet nothings into Jess' ear. Today's topic is "adder" - not the animal, of course.
Actually, it's a demonstration of the "logical" CE, with logically inserted facts representing the "true" Boolean values as they occur in an n-bit adder. Cheers Wolfgang
adder.clp
Description: Binary data
