Horn programming with built-in predicates
From MaRDI portal
Publication:1276515
zbMath0909.68164MaRDI QIDQ1276515
Publication date: 31 January 1999
Published in: Programming and Computer Software (Search for Journal in Brave)
68N17: Logic programming