Transformations of logic programs

zbMath0973.68508MaRDI QIDQ5930885

S. A. Nigiyan, L. O. Khachoyan

Publication date: 26 April 2001

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

PROLOG

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Transformations of logic programs