%0 Journal Article %A L. A. Haykazyan %T On functional symbol-free logic programs %J Proceedings of the Yerevan State University. Physical and mathematical sciences %D 2012 %P 43-48 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/UZERU_2012_1_a7/ %G en %F UZERU_2012_1_a7