English ⇄ Russian +

logic program example for eigenproblems stresses
progr.	пример логической программы для нахождения собственного вектора матрицы (см. Introduction to logic programming by Ghristopher John Hogger ssn)