Title: Apparatno-programmnye sredstva prot͡sessorov logicheskogo vyvoda
Subjects: Logic programming (Computer science), Prolog (Computer program language), Logic programming