zbMath0659.68113MaRDI QIDQ3809305
Fumio Mizoguchi, Hayato Ohwada, Toshio Kawamura
Publication date: 1988
zbMATH Keywords
PROLOG; constraint logic programming language; generalized unification; linear arithmetic equations
Mathematics Subject Classification ID
Related Items