Programming by logic and logic by programming (extended abstract (1994)

by P J Voda, J Komara
Venue:In Proceedings of SOFSEM'94 (Milovy, Czech Republic