Begin4 Title: gNuImplicator Version: 1.0 Entered-date: September 5, 2000 Description: Implicator, in a nutshell, implements about everything that has to do with PRODUCTION RULE EXPERT SYSTEM SHELLs. It also has an Augmented Transition Network PARSER and all the functions necessary to define nets and parse grammers. ; Now the usual disclaimer. Don't depend on it for anything. I don't ;guarantee it does anything. If you use it and take a loss, you have my ;sympathy but you are not entitled to anything else. I won't, (and can't) ;be legally bound to help you out in any way should something go wrong. Keywords: FORWARD AND BACKWARD CHAINING, ABDUCTION, CONDITIONING, AGENDA BASED FORWARD-CHAINING, ATN, SCHEMAs, DEMONS, OBJECT-ORIENTED, INHERITANCE, UNIFICATION, ALTERNATE WORLDS, VIEWPOINTS, NON-MONOTONIC TRUTH MAINTENANCE, SIMPLE, SEAMLESS and COMMON. Author: Andrew H. Nelson; nelsonah@aol.com; nelsonah@globetranz.com Maintained-by: Andrew H. Nelson; nelsonah@aol.com; nelsonah@globetranz.com Primary-site: http://www.GlobeTranz.com Alternate-site: http://www.TheProfessionalExchange.com/ Original-site: http://www.GlobeTranz.com Platforms: Platform independent. Requires Common Lisp Interpreter. Copying-policy: GNU End