Vukelić, Tatjana; Kamenov, Dušan Implementation of predicate expressions in procedural programming languages. (English) Zbl 0843.68017 Filomat 9, No. 2, 325-332 (1995). Summary: Predicate expressions in a procedural programming language are based on sentences of predicate calculus of first order. The usage of predicate expressions in procedural languages leads to shorter, more effective and more readable programming code, and also decreases number of loops and local variables in procedures and programs. Predicate expressions in programming languages could be used with array, set and interval data types. Elements of array or set could be simple or complex data type. In this paper, definition and implementation of predicate expressions in procedural programming language Modula-2 is presented. Areas of usage are logic, set theory, graph theory, pattern recognition and others. MSC: 68N15 Theory of programming languages Keywords:predicate expressions; procedural programming language Software:Modula PDF BibTeX XML Cite \textit{T. Vukelić} and \textit{D. Kamenov}, Filomat 9, No. 2, 325--332 (1995; Zbl 0843.68017)