Publication:3995231
From MaRDI portal
zbMath0772.68093MaRDI QIDQ3995231
Publication date: 23 January 1993
performance; structures; semantics; recursive rules; interpreter; knowledge based systems; function free recursive linear Horn clauses; Horn clause reduction; linear Horn clauses with structured arguments
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N17: Logic programming