Default Knowledge -> Prelude
• Let’s suppose a computer speaks Python. Thus, the computer has some
implicit knowledge of Python’s grammar and expressions:
• Keywords: It knows what is a for loop, if statement…
• Datatypes: It knows that 5 is an integer, that True is a Boolean…
• Operators: It knows that 5 < 6 = True, that True /\ False = False…
• It understands functions and modularity: It has a value/reference
parameter passing policy, strictness/laziness of parameter evaluation…
• This is usually referred to as the programming language
prelude. By speaking Python, the computer understands all
these things (it is part of its knowledge) and thus can do
computations using them.