ART(ID:1031/art001)

Automated Reasoning Tool  

for Automated Reasoning Tool

Paul Haley's derivative of OPS5, with extensions, built for Inference Corporation

Used the Rete algorithm

Structures:
Related languages
OPS5 => ART   Extension of
ART => ART-IM   Evolution of
ART => CLIPS   Evolution of