query language
command language
search language
concept
logical operation
iterate
logic operation
macro expansion
environment
source program
built-in function
formation rule
grammar
predicate
compilate
syllogistic
sublogic
compile
formal system
composite
clausifier
Polish notation
target language
imperative programming
callee
source language
transform
declarator
NOT function
symbolic logic
functor
infix operator
positive transfer
underlying set
writing implement
algebraic language
declarative programming
calculus
codebreaking
logical system
application-oriented language
problem-oriented language
object language
system of logic
tacit programming
planning
logic
native code
formalisation
impulse function