The description of lists and sets of meta-language of normal forms of knowledge

A.F. Kurgaev


Lists use for representation of various knowledge. As lists it comfortably to present formulas, functions, trees, columns, great numbers and many other difficult objects. Great number - one of the most essential structures of data, used both in mathematics, and in programming. The formalization of lists, list-based predicates and set-based predicates in the meta-language of normal forms of knowledge is presented, based on the known Prolog-formalizations of these concepts, which use a list-domain. Among the described list-based predicates are the following: adding an element to the list, removing an element, finding the last element of a list, finding adjacent elements in a list, concatenation of lists, reversing a list, palindrome, etc. Using the list-domain, the set-based predicates are described as follows: converting a list into a set, checking if an element is in a set, concatenation, intersection, difference, symmetrical difference, identity, complement of sets, relation of subset, proper subset.

 Problems in programming 2020; 1: 03-16


meta-language; set; list; predicate; recursion; definition

Full Text:

PDF (Russian)


Bratko, Ivan. Prolog Programming for Artificial Intelligence / Third Edition. - Addison-Wesley, 2012. - 696 p.

Adamenko A.N., Kuchukov A.M. Logical Programming and Visual Prolog. - St. Petersburg: BHV-Petersburg, 2003. - 992 p. (in Russian).

Clocksin, William., Mellish, Christopher S. Programming in Prolog: Using the ISO Standard 5th Edition. - Berlin, Heidelberg: Springer-Verlag, 2003. - 300 p. CrossRef

Abelson, Harold. Structure and interpretation of computer programs / Harold Abelson and Gerald Jay Sussman, with Julie Sussman. - 2nd ed. / The MIT Press Cambridge, Massachusetts London, England © 1996 by The Massachusetts. - 576 р.

Haskell 98. Language and Libraries. The Revised Report / Editor by Simon Peyton Jones. - Cambridge Academ, 2003. - 277 p.

Seibel, Peter. Practical Common Lisp. - Apress, 2005. - 501 р. CrossRef

Kurgaev, A. The normal forms of knowledge / A.Kurgaev, S.Grygoryev. - Dopov. NAN Ukraine, 2015, № 11. - Р. 36-43 (in Russian). CrossRef

Kurgaev, A. Metalanguage of Normal Forms of Knowledge / A.Kurgaev, S.Grygoryev. - Cybernetics and Systems Analysis. - November 2016, 52(6), 839-848. CrossRef

Kurgaev, A. The Formalization of Lists in the Meta-Language of Normal Forms of Knowledge / Dopov. NAN Ukraine. - 2017. - №10. - Р. 18 - 27. (in Russian). CrossRef



  • There are currently no refbacks.