UWVFP(FP0؋F&O F&G&G < ʋЋƋ$6&~&6&F&9EtL2p P3PF&EĞ&(6&>p t*6&>v t
T F&EF  ,6&> ~F  vFĞ&^&9~ Ì~ڹ- F*Ftz8ftF^&8Gui~ tF^&8GuWF+F;F| F9Fu~ tF@t8F^&8Gt,F+F;F~<.6&> t0^&GĞ&v&@F[FF,6&9~2F^&8GuFuӋvzvĞ&7X06&?&& DPĞ&& & 	26&>| u46&z  66& ^&Gȋƻ[ ؎86&>&I86&&a~ t;F*PĞ&& & 	46&z  F*Pv:6&&ud26&>| u46&z  Ğ&& & 	<6&6&6`	 P,>6&F&Ht8PP
|FPPh
P :6&6&6P
|FPPh
P *6&>v t	 B l PP ]	@6&6&6`Ğ&& & 	pP 	B6&R&TĞ&7FD6&FF6& fĞ&7FtH6&&J6&H6&J6& f% = ؎L6&FD6&FF6& ^_]ːU VN6&6 &6rP
N6&6 &6"P
vPrPh
P"Ph
FPrPXX@uNFP"PXX@uQN6&6 &6"P
P6&6(&6&"Ph
FP"PXX@u FV9Vv r9Fv ~ } 	~[s  Prpenn.edu> so that he can make your binary
   available.

See also LIFE, SLG, and XSB in [2-1] and BeBOP in [2-3].

----------------------------------------------------------------
Subject: [2-8] Commercial Logic Programming Systems

None so far. This is to be expected, as most logic programming systems
are experimental.

----------------------------------------------------------------
;;; *EOF*
9Vw1r9Fs*FVFV06&X& & 	FVFVFVPPFPCu  P6d6bVh4p P~QPVh43,602&9?~Dv3ɉNރ,.&Gt&u&g[GĞ0&9?ЋvFP[ Ğ0&/P86&6&6VWV2FPFPR^_]ːUTWVN6&6 &6FP
PFPh
PFPVt)FPV Qp Q~RQxWV^_]ːU"WVFP(FP0V< &m&EFT6&F&M FF&EF  ~,6&F 86&& ؉V$6&FN9Nu ~ t	F&
   Minds and Machines 2(4) November 1992 was devoted to music and cognition,
   and there were some relevant book reviews in 3(1) February 1993.

----------------------------------------------------------------
;;; *EOF*
uZFw&*FtJF&F
t	F&8Eu4Fw&F
t	F&8EuFw&FF;F}F[A9N~V~ t} ^_]ːear all searchU WVPVt5P 6	u$FPVVP
VP ƆV PVPh
FPVPXXt$VPP(P P~W PVuP(P P P-PVP26	
FVu$VP0P(P PvvW PvV;t2VPLP(Pvv Pvvt$VPwP(P PF
 3RT&7&GLX"3NP&&G&<pt#pPWP(P PĞN&&WVF ~> MVv~~؎ZX& &+ǋV& &PIuvĞN&F&7&GĞR&&&GÌ V&$3&	&> 
&
&	ߎ&&3&OF&&&ʋH(3JL&&G*3&&F&ʋFPQ"@F ĞJ&&?~G~ VvN~& &+ǋV& &PAĞJ&&9ڋ~v*3&F&7&GĞJ&&@&GF,3&>
&
M.3&& ^_]ː&u0U.WV4Z9&  3\9&6^9&"`9&b9&r
d9&bf9&dh9&fj9&h+ɉNNvvZ 	RP"PrQP
V^V۹ ^VNV l9&>n u-n9&X&B&@	"P|	3brQPt~
 PvvPt!2PP ]	p9&tN 릐2PP ]	p9&u,
QP2PP ]	p9&u0~+PP(FV P+PP(ȋ+FV~9&&SQvvvVr	FV~9&&d 3SQRPFVd RPvvFVvvRP< RPSQRPvv⚺RPFމVTSQvvމFډVܚT< 3SQvvF։Vؚquest@cs.cmu.edu. Bugs should be sent to   elp-bugs@cs.cmu.edu.See the Scheme FAQ for information on implementations of Prolog in Scheme.----------------------------------------------------------------;;; *EOF*^&? tMt9&>v tA P Pv9&68&66`  Px9&GPv9&68&66 t ظ[ .ظ&&،F&Gt1&9}&Gع&;z
~36&z
F&9G|&Fu
&> tF&Gu
&
t~ u
&> tF&Gt
&
u PvvPt}pr9^F&? tMt9&>v tA P Pv9&68&66`  Px9&JPv9&68&66+PP(FVz9&>| u|9&z  ,
QP|%^&? tMt9&>v tA P Pv9&68&66`  Px9&GPv9&68&66 Pvv P n9&X&F&D	 Pvv Pr9&>p tMt9&>v tA P Pv9&68&66`  Px9&GPv9&68&66 ^_]UWV P3Z9& P
QP9+& &
~u19&9>"t2PP ]	p9&u
|]	u9& 9&F|#[ n9&&@t9&  2P
P ]	=tz9&>| u|9&z  r9&>p tt9&>v tT 9&>" t2PP ]	p9&tt 3P t 9&N&Ltsd P 	FV|]	t6~vv` 	u!d P 	FV]	|]	u͚]	3P9&6N&6L tmpP 	FVRP` 	tP~|]	t@2P
P ]	=t*	vv` 	t	3b2PP ]	p9&t;3PN ^9&>" u\9&>6 u`9&> t N ( ^_]ːU WV9
&? |%[ &/9&&~ڹ- Ğ
&? } ^9&>" t5~ t/F*Pn9&X&N&L	F*P3~9&& t1B*PWn9&X&R&P	
B*PFF;r`9&? u\9&>6 t?Ğ
&? |5~ t/F*Pn9&X&V&T	F*PO9&&uĞ&? u\9&>6 u^9&>" u n9&X&Z&X	9&6&6`	 P,9&6&6P
Ğ
&? |FPPh
 P  PP ]	n9&X&^&\	9&6&6`pP 	9&R&T3^9&"\9&6Ğ&^_]ːU욀"P9&6&6n9&X&&	9&6&6`嚖t9&>v t9&63P]	9&>L tr9&>d u.]	v]UVvu3,ȋƙ+T؋ʙùd P 	^]ːUWV~9&B&DF&9Eu	&9U
u&E
&Eu
9&& 9&6&6KP
KP"KF^F  9& & u ~N؋W&9Du&9T
tGGu 9&&Vu VV&? u$~9&> t3"PvW ~^FFG&< u^&7"PvW_9&6&6KP
KP"K^9&F&9t&9&> uF&5"PDvP
K^_]ːUt9&>v ur9&>p u3P,9&@P"PrQP
 P Q9&6&6` rQP9&6&6Z 9&@P9&6
"PrQP
 P P9&6&6` rQP9&6&6Z  9&bFt'P9&6&6"PrQP$9&6&6#PrQP P Q9&6&6` #P9&6&6Z  P P9&6&6` rQP9&6&6Z 3P9&6^ 	]ːt9&>v t&r9&>p t  P9&6&6 ːU.WV~FL^ }dǹ[ FԻ9^֌F&&GtFLBƌ@V~ t	F& ^&^&GtFF&Cistics.archive.umich.edu:linguistics/LSA.email.list or by sending a message to listserv@tamvm1.tamu.edu with "get lsa lst linguist" in the message body.A list of "Who's Who in Fuzzy Logic" may be obtained by sending amessage to listserver@vexpert.dbai.tuwien.ac.at with  GET LISTSERVER WHOISWHOINFUZZYin the message body. New entries and corrections should be sent toRobert Fuller <rfuller@finabo.abo.fi>. ----------------------------------------------------------------;;; *EOF* t^~&=&At
FF&XF& FL^_]ÐUt9&>v u r9&>p u 9&> u3P9&6+RP9&@P5#PrQP
 P Q9&6&6` rQP9&6&6Z 
 P P9&6&6` vv9&6&6Z T ]U WV3Pz9`b&? }Tt9&>v uEWĞ`&@PXn9\^&&f&ddP P P9XZ&w&7` dPĞX&w&7Z  PĞ`&7؋F&? tTPVĞ\&&j&hdP PPĞX&w&7` dPĞX&w&7Z 9TV&G&u9&w&7dP
A#PdPh
 PJ#PdP26	
Vu FPV QQNQFWV~ u vrĞT&w&7dP
M#PdPh
3PdQNQ* 6	
uqvFP; PdPFP* 6	
t@2 P PĞX&w&7` Ğ\&&n&lĞX&w&7Z T ^_]R$bCLS U.WV4 ع 4&
  &QP(4+&,&*&(&0&.p4^F&9t&4&9vt4&X&& F4^&? u - ~ٹ ~ t%FFF  4&F~FF  FP	RP4&6 &6 
PrQPrQPBFP	RP
PrQPrQPBF~js)+FFFFFF4^ތF&4&>v% 4^ڌF&4&>x^&4&
4&9s4&>  t^&3PN։VRQ QD~ u 
QP P	tuHtpHtHHtMcuW^&^&ub 4&h4&d4&X&&	뤚u
^&^&u2봎4&h 3P4&T 4&h t
F҉NԐ3^&9?~14&t&4	QPFuG^&9?ҚHu HuGHtvHu }W4&t
 ;E2PP ]	4&u)FP P	3Pvvָ P4&u^&^&t 4&d4&h4&X&&	u^&^&t밐62PP ]	4&u_4&> tPFP P	3Pvvָ P"2PP ]	4&uFFP Q	F  4&^&? tp4&>v td4&6&6
PrQP
 P P4&6&6` rQP4&6&6Z T 4&h 3PO
QP P	4&^&? tp4&>v td4&6&6
PrQP
 P P4&6&6` rQP4&6&6Z T 4&T4&h  
QP P	4&^&? tp4&>v td4&6&6
PrQP
 P P4&6&6` rQP4&6&6Z T 3P 5&	 5&b4&d5&f4&h Pvvָ Pf3Pvvָ PQ^_]WV+ 




&&r
&&6&"&&
& ع ^_ːUVXP 	FVRP` 	uuv2PP ]	4&tY	uP2PP ]	 tFF&
t*<t&P]		vv` 	t '2PP ]	:]	
 P	]	3^]ːU(WVb5&? u]v
vrsions for CLX, Express
Windows, NCW, CLUE, CLM/GINA, Common Windows, LispView, Winterp, CLIM
and YY. Several implementations have a mouse sensitivity feature and
others have implementation-specific features.  A copy has been made
available from the Lisp Utilities Repository. For further information,
contact Masayuki Ida <ida@csrl.aoyama.ac.jp>.

----------------------------------------------------------------
;;; *EOF*

4&X&>&<	UFPVFPbPh
bPP<uX9Ft!bP4&X&B&@	FDF^FFV
~ ~ t+v
vZ 	RP4&X&F&D	PB>F uy396F~%D Pv
vWd
t
F;6F|96F/~ u=v
vZ 	RP4&X&J&H~F
&} t=&u&uvviPbPF
&uyPFP
2vvbP
F
&u&uPFPF? t5&6&6bP
FPbPh
  F;6F}rFFFFDFDFF+ƉF~vF^ ^F^FFFNuFbPBu$9FubP4&X&N&L?~ u bP4&X&R&P	 5&&u Ğ&7PPbPPbPRPD5&&t-Ğ&7PPbPbPB3^_]U($
5^ތF&? u 5^ڌF&G&u t66` 	u d P 	5&bFtP^&w&7PNFP^&w&7PNFPFPNFPXXuDNFPB^&74&X&&	5&z  ^&7]39&RzLxL9&9ptI9&9vt> PP9&6&6` #P9&6&6Z T #P|	]	9&$PP ]	 Pu 9&X&N&L	3n9&>p tJ9&>v t> PP9&6&6` #P9&6&6Z T $P|	 PV39&RzLxL9&9ptH9&9vt= PP9&6&6` &$P9&6&6Z T 
H$P|	:]	9&$PP ]	3PNtz9&>p tK9&>v t? PP9&6&6` S$P9&6&6Z T u$P|	3P u4^ːUWV9&
&
VȋڀFV$PSQ
$PvW
QPr9&QPZ 	RP$P	9&QPZ 	RPvW'3FF9&9~Q~9&9>t,$PvvPVZ 	RPvvG9&9>~$PvW89^F+&G&9Ft
QP:'~ uZzL0QP:~9^&G&t- P&w&7vv<
^&G SvW%$PvW~ t)9&>^ u9&>` t$6$1$+9&t$PvW9&u$PvW$PvW9&>بt+&~ u:&#Ft &ِFt vt
 &6بt$`~ t6 t$PvW t$PvWƨt3$" t$ t$
ƨt$PvW9&t~ t9&>z u$PvW$PvW$PvWw$PvWh9&>ju9&X&&$ډFVRP9&69&6$P P%PvvvvvW%PvW9&6&69&6&6 :&6&6#%PvvvvvWB:&6&6:&6&6:&6&60%PvvvvvW=%PvWD:&&&(0T|RPE%PvvvvvWvW"9&$PP ]	F  pP 	FVv~vvO%PvV
vV"PvVj!	F P Q\%QJ]	 PvV"PvVJ]	 PvvvJ]	F  ~ ~;~v^^ ؋Ǌ*3QǊ*&3ZF;v|։~v]	v_%PvV
 PvV"PvVJ]	FF= v P 	FVvv` 	t 2PP ]	
:&uvv` 	t|]	u	t 	3P(	-* ui%PvV
vV2ui6`#6^#vVFuN6p#6n#vvFt  ~9&X&&e%PFPWƋFv 2PP ]	9&X& & V\2PP ]	
:&u9&X& & ˎ9&X&&k%PFPVǋFvW	3^_]UWVF ǆP  Ɔ{ ǆ8o%:ǆ<w%>ǆ@~%BǆD%FǆH%J+NL9&
&
vx~prt89
+&G&n9&9ptH9&9vt= PP9&6&6` %P9&6&6Z T 
%P|	T:& P 	FVpP 	FV+FF{{<vv~ uZ6`#6^#%P~V P~V"P~VJ]	Gregory R. Madey,
and Robert D.  Smith, CACM 35(10):30-48, October 1992.

Part 3 of the AI FAQ lists several key references on expert systems.

----------------------------------------------------------------
Subject: [6-3] Free/Cheap Expert System Shells

FOCL   -- ics.uci.edu:pub/machine-learning-programs/
             Files: README and KR-FOCL-ES.cpt.hqx
   Contact: pazzani@ics.uci.edu
   Expert System Shell and Machine Learning Program;
   A backward chaining rule interpreter with a graphical
          interface for the MAC. 

SOAR      -- ftp.cs.cmu.edu:
       /afs/cs.cmu.edu/project/soar/public/Soar5/ -- Lisp Version
       /afs/cs.cmu.edu/project/soar/public/Soar6/ -- C Version
     Contact: soar-request@cs.cmu.edu
     Integrated Agent Architecture. Supports learning through chunking.

OPS5   -- ftp.cs.cmu.edu:user/ai/software/expert/ops5/ops5.tar.gz

BABYLON-- gmdzi.gmd.de:gmd/ai-research/Software/ (129.26.8.90)
   (BinHexed stuffit archive of Babylon)
   Development environment for expert systems.

MOBAL is a system for developing operational models of application
domains. It integrates a manual knowledge acquisition and inspection
environment, an inference engine, machine learning methods for
automated knowledge acquisition, and a knowledge revision tool. By
using MOBAL's knowledge acquisition environment, you can incrementally
develop a model of your domain in terms of logical facts and rules.
You can inspect the knowledge you have entered in text or graphics
windo-----------------------------------------------------
Subject: [6-2]  Other Sources of Information

In addition to the free expert system shells listed below, the Prolog
Resource Guide lists a variety of Prolog implementations and products.
In addition to being backward-chaining systems, many prolog
implementations provide support for forward-chaining rules and other
expert systems requirements. For example, Amziod sells
Dennis Merritt's book, "Building Expert Systems in Prolog",
Springer-Verlag, 1989, for $47 (with disk containing source code for $82).

The July/August 1992 issue of PC AI magazine includes their annual
product guide for expert systems and related tools.  The December 1992
issue of AI Expert Magazine, pages 42-49, contains an Expert System
Resource Guide. The February 1991 issue of IEEE Computer has an
article about Expert System Tools. Another article of possible
interest is "Selection Criteria for Expert System Shells: A
Socio-Technical Framework", by Anthony C. Stylianou, . [6/93]

FLEX is a hybrid expert system toolkit available across a wide range of
different hardware platforms which offers frames, procedures and rules
integrated within a logic programming environment.  FLEX supports
interleaved forward and backward chaining, multiple inheritance,
procedural attachment, an automatic question and answer system.  Rules,
frames and questions are described in a English-like Knowledge
Specification Language (KSL) which enables the development of easy-to-read
and easy-to-maintain knowledge bases.  FLEX is implemented in, and has
access to, Prolog. FLEX is available from LPA (who originally developed
flex on the PC), and also from most major Prolog vendors under license,
including Quintus, BIM, Interface, and ISL.  FLEX has been used in
numerous commercial expert systems, and prices on a PC running Windows or
on a Macintosh start at around $1,000.  [A review of Quintus-flex is
expected in an upcoming issue of PC-AI. --mk] For more information contact:
Logic Programming Associates Ltd, Studio 4, R.V.P.B., Trinity Road, 
London, SW18 3SX.  Tel: +44 81 871 2016; Fax: +44 81 874 0449.
Email: lpa@cix.compulink.co.uk

G2 is a real-time expert system shell that runs on workstations and
personal computers. It has real-time temporal reasoning, with rules,
procedures, and functions built around an object-oriented paradigm.
One can interface, both locally and over a network (TCP/IP and
DECnet), to other programs (C and ADA), control systems, and
databases.  G2 provides distributed computing and a multi-user
client/server architecture.  For more information, write to Gensym
Corporation, 125 Cambridge Park Drive, Cambridge, MA 02140, call
617-547-2500/9606, or fax 617-547-1962.

GBB, generic blackboard framework: provides:
 -- A high-performance blackboard database compiler and
      runtime library, which support pattern-based, multidimensional 
      range-searching algorithms for efficient proximity-based retrieval 
      of blackboard objects
 -- KS representation languages
 -- Generic control shells and agenda-management utilities
 -- Interactive, graphic displays for monitoring and examining
    blackboard and control components
These components provide the infrastructure needed to build
blackboard-based applications. GBB is available for DOS/Windows, Mac,
Unix workstations (Sun, HP/Apollo, IBM, DEC, Silicon Graphics),
Symbolics and TI Explorer Lisp machines.  (GBB is a significantly enhanced,
commercial version of the UMass GBB research framework, available via
FTP from dime.cs.umass.edu:/gbb/.) NetGBB, distributed extension to
GBB, provides to GBB the communication and coordination facilities
needed to build heterogenous distributed blackboard applications.
For more information write to Blackboard Technology Group, Inc., 401 Main 
Street, Amherst, MA  01002, call 413-256-8990, or fax 413-256-3179. To
be added to the mailing lists, send mail to gbb-user-request@bn.cs.umass.edu.
There are two mailing lists, gbb-user (moderated) and gbb-users (unmoderated).

GOLDWORKS II. For more information, write to Gold Hill Computers, Inc.,
26 Landsdowne Street, Cambridge, MA 02139, call 800-242-5477
(617-621-3300), or fax 617-621-0656.

GURU is a real-time expert system that runs on personal computers. For
more information, write to Micro Data Base Systems, Inc. (MDBS), PO
Box 6089, Lafayette, IN 47903-6089 call 800-344-5832 (317-463-2581),
or fax 317-448-6428.

HyperX runs on the Apple Macintosh. For more information, write to
Millenium Software, 1970 S. Coast Highway, Laguna Beach, CA 92651, or
call 714-497-7439. See also MacWeek 3(5):6, January 31, 1989.

HUGIN System is a software package for construction of model based expert
systems in domains characterized by inherent uncertainty. The Hugin System
contains an easy to use probability based deduction system, applicable to
complex networks with cause-effect causal relations subject to uncertainty.
The Hugin System presents a novel development. The implementation is based
on an improvement of the award winning work by Lauritzen and Spiegelhalter:
Local Computation with Probabilities on Graphical Structures and their
Application to Expert Systems. The Hugin Demonstration, for 
Sun Workstations and PC-Windows, is available for anonymous ftp from the 
host hugin.dk (130.225.63.15). Please refer to the README file in the 
/pub/ directory. For more information write to Hugin Expert A/S, 
Niels Jernes Vej 10, DK-9220 Aalborg O, Phone +45 9815 6644, 
Fax: +45 9815 8550, Email: info@hugin.dk.

ILOG RULES is a high performance embeddable rule-based inference
engine. It is a forward chaining tool, written in C++ (hence it is
object-oriented and supports inheritance mechanisms) and is also
provided as a C++ library. It runs virtually on any Unix platform
(e.g., HP97X0, Sun4, RS/6000, DecStations) as well as on PCs running
DOS (with or without MS/Windows) or OS/2.  It extends OPS/5 with
nested premises (objects as values), rule packets (logical grouping of
rules), a full Truth Maintenance System (TMS) for efficient
non-monotonic reasoning, compilation of rules into C/C++ code, and an
object oriented data-model in C++. ILOG RULES work directly on user
objects, so interfacing is straightforward. C/C++ code may be included
in rule conditions and actions.  ILOG RULES is based on the fast XRETE
implementation of the RETE algorithm developed by Thomson-CSF.  For
more information, contact ILOG, Inc., 2073 Landings Drive, Mountain
View, CA 94043, tel 415-390-9000, fax 415-390-0946, e-mail
info@ilog.com.  European customers should contact ILOG SA, 2, av.
Gallieni, BP 85, 94253 Gentilly CEDEX, France, tel +33 (1)
46-63-66-66, fax +33 (1) 46-63-15-82, e-mail info@ilog.fr.

INTELLIGENT DEVELOPER runs on the Apple Macintosh and costs $395.  For
more information, write to Hyperpress Publishing, PO Box 8243, Foster
City, CA 94404, or call 415-345-4620. See also MacUser 4(12):134,
December, 1988.

INTELLIGENCE COMPILER.  For more information, write to Intelligence
Ware 9800 S. Sepulveda Blvd.  Los Angeles, CA 90045-5228 call
213-417-8896, or fax 213-417-8897.

Instant-Expert Plus runs on the Apple Macintosh and costs $498.  For
more information, write to Human Intellect Systems, 1670 South
Amphlett Blvd, Suite 326, San Mateo, CA 94402, or call 800-522-5939
(415-571-5939).  See also MacUser 4(12):134, December, 1988.

KBMS runs on personal computers. For more information, write to
AICorp, 138 Technology Drive, Waltham, MA 02254-9748, or call
617-891-6500.  PC Week 6(35):63, September 4, 1989.

KEE, ProKappa, and Kappa run on personal computers, workstations, and
Lisp machines. For more information, write to IntelliCorp, Inc., 1975
El Camino Real West, Mountain View, CA 94040-2216, call
415-956-5660/5500/5777 or fax 415-965-5647. In Europe call
+44-344-305305.  See also CACM 31(4):382-401, April, 1988.

KES and SNAP run on personal computers (KES $4,000), workstations (KES
$10,000, SNAP $40,000 on most platforms), minicomputers (KES $25,000),
IBM mainframes (KES $60,000). Although KES can be purchased
separately, it is part of SNAP. For more information write to Software
Architecture and Engineering, Inc., 1600 Wilson Boulevard, Suite 500,
Arlington, VA 22209, call 703-276-7910, or fax 703-284-3821.  Write to
Template Software, 13100 Worldgate Drive, Suite 340, Herndon, Virginia
22070, call 703-318-1000, or fax 703-318-7378.

Knowledge Craft runs on minicomputers and Lisp machines. For more
information, write to Carnegie Group, 5 PPG Place, Pittsburgh, PA
15222, call 800-284-3424 (412-642-6900), or fax 412-642-6906.

KnowledgeWorks runs on workstations (Sun3, Sparc, DEC (MIPS), HP
400,700, IBM RS6000, Intergraph, MIPS).  It includes a CLOS-based
object system, OPS compatible forward chainer (2500 firings/sec on a
Sparc2), Prolog compatible backward chainer (40 KLIPS), graphical
programming environment, user-defined conflict resolution, MetaRule
Protocol for extending execution model, and a SQL interface for
relational databases.  For more information write to Harlequin Inc.,
One Cambridge Center, Cambridge, MA 02142, USA, call
1-800-works-for-you (1-800-967-5749) or 617-252-0052, or fax
617-252-6505.  European customers should write to Harlequin Ltd.,
Barrington Hall, Barrington, Cambridge CB2 5RG, UK, call 0223-872522,
or fax 0223-872519. E-mail: knowledgeworks-request@harlqn.co.uk or
works@harlequin.com. They also sell LispWorks (a Common Lisp and Prolog
programming environment) -- see part 4 of the Lisp FAQ, MLWorks (an ML
programming environment), and Watson (an intelligence analysis tool).

Laser. For more information, write to Bell Atlantic Knowledge Systems,
Inc., P.O. Box 3528, Princeton, NJ 08543-3528, or call 800-552-2257
(609-275-8393).

LEVEL5 OBJECT runs on IBM PCs (Windows, $995), VAX/VMS, MVS and the
Apple Macintosh ($695). LEVEL5 OBJECT is a robust object-oriented
application development system with a tunable inference engine
product.  For more information, write to Information Builders, 1250
Broadway, New York, NY 10001, or call 800-444-4303 (212-736-4433).
Customer Support is 212-736-6130. See also MacUser 4(12):134,
December, 1988, AI Expert 4(5):71, May, 1989, and MacUser 6(2):88,
February, 1990.

M.4 runs on personal computers (DOS, Windows) and sells for $995
(special pricing is currently in effect, selling for $495). A version
for Sun workstations and the Apple Macintosh is under development. It
features a modular Kernel Library for linking into C-language
applications, backward and forward chaining, pattern matching,
certainty factors, procedural control, and an object-oriented
programming system. M.4 is embeddable, configurable, and extendable.
For more information, write to Cimflex Teknowledge Corporation, 1810
Embarcadero Road, Palo Alto, CA 94303, or call 800-285-0500
(415-424-0500), fax 415-493-2645.

MacSMARTS, MacSMARTS - Professional, and HyperSMARTS run on the Apple
Macintosh (all versions less than $500). For more information, write
to Directory Cognition Technology, 55 Wheeler Street, Cambridge, MA
02138, or call 617-492-0246. See also MacUser 4(12):134, December,
1988.

MERCURY KBE. For more information, write to Artificial Intelligence
Technologies, Inc., 40 Saw Mill River Road, Hawthorne, NY 10532, call 
800-333-1406 (914-347-6860), or fax 914-347-3182.

MUSE. For more information, write to Cambridge Consultants, Science
Park, Milton Road, Cambridge CB4 4DW, England, or call
0223-420024 Cambridge.

NEXPERT OBJECT runs on over 30 platforms supported including personal
computers ($5000), Macintosh ($5000), workstations ($12,000),
minicomputers, and mainframes. Nexpert Object is written in C, and
includes a graphical user interface, knowledge acquisition tools, and
forms system. For more information, write to Neuron Data, 156
University Avenue, Palo Alto, CA 94301, call 800-876-4900
(415-321-4488), or fax 415-321-3728. Other office include New York,
212-832-8900; Philadelphia, 215-941-2981; Washington, DC,
703-821-8800; Los Angeles, 714-851-4621; Chicago, 708-955-3688;
Houston, 713-739-9020; United Kingdom, 44-71-408-2333, fax
44-71-495-6274; France, 33-1-40-70-04-21, fax 33-1-47-23-71-43; and
Japan, 81-3-3746-4371, fax 81-3-3746-4374.  See also IEEE Software
5(5):98, September, 1988, PC Tech Journal 6(11):112, November, 1988,
MacUser 4(12):134, December, 1988, MacUser 4(9):136, September, 1989,
Computer Language 6(12):123, December, 1989, PC Week 7(26):43, July 2,
1990, MacWeek 4(25):10, July 10, 1990, and IEEE Expert December, 1991,
page 72.

Personal Consultant Plus. For more information, write to Texas Instruments
PO Box 2909, MS/2240, Austin, TX 78769, or call 800-527-3500.

RAL (Rule-extended Algorithmic Language) is a C-based RETE (OPS83)
implementation that allows one to seamlessly add rules and objects to
C programs. It runs on Apollo, Sony News, AT&T 3B series, Aviion,
DecStation, HP9000, RS/6000, Sun3, Sparc, Pyramid, Stratus, Unix
System V 386 machines, VAX, microVAX (VMS) and DOS. Production Systems
Technologies was founded by Charles Forgy, the original inventor of
the RETE algorithm.  For further information, write to Production
Systems Technologies, Inc., 5001 Baum Boulevard, Pittsburgh, PA 15213,
call 412-683-4000 or fax 412-683-6347. [6/93]

Rete++ supports both forward and backward chaining.  With Rete++ the
programmer can develop object hierarchies and instantiate, manipulate,
and access them using either C++, the standard rule-based syntax, or C.
Asserting and modifying the data that is considered by rules is done by
creating a C++ instance and performing assignments to and accessing the
member data of the instance.  Rete++ automatically generates C++ class
taxonomies.  The C++ components of Rete++ applications use these
generated classes directly or further subclass them as needed.  The
Rete++ inference engine automatically considers any instances of a
generated class (or its subclasses) in the matching of rule conditions.
C++ data types provided by Rete++ allow more flexible representation and
automatic reasoning using standard C++ syntax without extraneous function
calls.  Rete++ automatically monitors changes to C++ objects without
requiring programmers to explicitly code function calls.  Rete++ is
provided as a C++ class library.  As such, it may be linked as part of
your C++ application.  You may completely embed Rete++, with or without
its graphical development environment.  Modules for developing Case Based
Reasoning and integration with databases are available for Rete++
applications.  Rete++ integrates a dependency based Truth Maintenance
System to preserve logically sound and complete reasoning in spite of
non-monotonicity.  Multiple rulesets and agendas support modular
development and cooperating expert systems. Rete++ has an advanced
browser for rule based programming. The Rete++ windowing development
environment monitors the knowledge base with multiple views that are all
updated in real-time, allowing for debugging, browsing, the monitoring
and setting of break points, and the tracing of rules, facts and goals.
Rete++ for Windows $1499, Windows NT and OS/2 $2249, Solaris and HP-UX
$2999 command line interface and $3999 for X Windows.  For more
information write to The Haley Enterprise, Inc. 413 Orchard St.,
Sewickley, PA 15143, call 800-233-2622 (412-741-6420), or fax
412-741-6457.

RTworks is a family of independent software modules developed for
intelligent real-time data acquisition and monitoring, data analysis,
message/data distribution, and message/data display. RTworks offers a
number of sophisticated problem-solving strategies including
knowledge-based systems, a point-and-click graphical user interface,
temporal and statistical reasoning, and the ability to distribute an
application over a heterogeneous network.  Included with RTworks is a
high-speed inference engine (RTie) which is used to analyze the data
using objects, classes, procedures, and rules. The IE can perform
trending, prediction and temporal reasoning of rapidly changing data.
Displays can be built by non-programmers using a user-friendly DRAW
program.  More than 60 different formats are provided for displaying
input data including strip charts, bar charts, control charts, dials,
pie charts, and high-low graphs.  Graphical objects can be tied to
variables which dynamically control attributes such as color, scale,
rotation, motion, animation, and more.  RTworks runs in a
client-server architecture in which the RTserver process intelligently
distributes the application's messages and data to only the client
prcoesses which need them. User-defined client processes can connect
to the RTserver and send and receive messages with other processes in
the application. Possible applications include process control,
network monitoring, financial trading, and command and control.
RTworks is available on a variety of Unix and VMS platforms under a
floating license in which you pay only for the number of simultaneous
users, and the software is not node-locked to a particular machine.
Current RTworks customers include Lockheed, NASA, Dow Chemical, PG&E
(Pacific, Gas, and Electric), SWIFT, Mazda, and NTT. For further
information, write to Talarian Corporation, 444 Castro Street, Suite
140, Moutain View, CA 94041, call 415-965-8050, fax 415-965-9077, or
send E-mail to don@talarian.com or tom@talarian.com.

SMECI is an expert system shell based on Lisp. For more information,
contact ILOG, Inc., 2073 Landings Drive, Mountain View, CA 94043, tel
415-390-9000, fax 415-390-0946, email info@ilog.com.  European
customers should write to ILOG, 2, av. Gallieni, BP 85, 94253 Gentilly
Cedex, France, tel +33 (1) 46-63-66-66, fax +33 (1) 46-63-15-82, email
info@ilog.fr.

STATUTE Corporate V3.0 for Windows. Includes facilities for automatic
document generation. Interfaces for Visual Basic, C, C++, and
applications that can link to DLLs. Phone: 1-800-229-1954 (616-242-1982). 
Fax: 1-800-229-1959 (616-242-1948).

TestBench, Shell is available from the Carnegie Group, Pittsburgh,
Pennsylvania.  The development environment runs on the SUN workstations
and the production environment on a number of platforms including PCs and
NeXT machines.

VP-EXPERT version 3.1 runs on the IBM PC under DOS.  A student version
of the product is available for around $40. The student version is
fully functional but limited to 16k in the total size of the system.
For more information, write to Wordtech Systems Inc., 21, Altarinda
Road, Orinda, CA 94563, or call 800-288-3295, (510-254-0900).  See
also MacUser 4(12):134, December, 1988.

YAPS is a tool for building expert systems and other programs that use
a rule-based knowledge representation in Lisp. The YAPS library
provides a CLOS class and appropriate methods which the programmer may
mix into his/her own classes or use directly.  Rules and facts about
an instance are associated with the instance.  Instead of one large
knowledgebase with many rules which are hard to debug and maintain,
the programmer creates smaller knowledge-bases which are modular and
more efficient.  The YAPS knowledge-bases can interact with and be
controlled by the programmer's other modules, making hybrid systems
straightforward.  Introduced by Liz Allen at AAAI-83, YAPS is now
available on Apple Macintosh, Sun3 and Sun4 (SPARC), DEC VAX under VMS
and Ultrix, and 88Open platforms. On workstations, a single license
costs $3995 and on the Macintosh (under Macintoch Common Lisp), it is
$445. YAPS runs in most commercial Common Lisps including Allegro CL,
Harlequin Lispworks, Lucid CL, IBUKI CL, and Macintosh Common Lisp.
YAPS is also available for the TI Explorer and Symbolic Lisp Machines,
and a Flavors version is available for Sun3 in Franz Lisp.  Other
ports are underway -- for price and availability contact College Park
Software at 461 W. Loma Alta Dr., Altadena, CA 91001-3841, USA; or by
email at info@cps.altadena.ca.us, or call 818-791-9153 (voice) or
818-791-1755 (FAX).
----------------------------------------------------------------
;;; *EOF*
