DOI10.1023/A:1018929805694zbMath0890.68028MaRDI QIDQ1376096
Enrico Pontelli, Gopal Gupta
Publication date: 9 June 1998 Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
zbMATH Keywords
Prolog; ACE system
Mathematics Subject Classification ID
68W30: Symbolic computation and algebraic computation
68N17: Logic programming