zbMath0852.68057MaRDI QIDQ4873989
Egon Börger, Rosario F. Salamone
Publication date: 21 April 1996
zbMATH Keywords
compilation of Prolog programs; constraint logic arithmetic machine
Mathematics Subject Classification ID
68Q65: Abstract data types; algebraic specification
68N17: Logic programming
Related Items