Металогічні предикати в пролозі

Abstract

This paper examines some possibilities of expanding logical programming language Prolog, namely metalogical predicates (metapredicates).

У статті розглянуто деякі можливості розширення мови логічного програмування Пролог, а саме металогічні предикати (метапредикати).