Features of logical inference in prolog-programs

The logical conclusion is based on the resolution method, which assumes proof by contradiction by obtaining resolvents from the original set of clauses. If an empty clause is deduced (empty set), the conclusion is considered correct. The PROLOG language, as a logic programming language, is based on the first-order logic of predicates. However, there are significant differences in the withdrawal procedures. The article on a specific example discusses the features of logical inference, based on the logic of predicates and logical inference in a program in the language of PROLOG.