Prolog not conforming to a strict logic model - Decribe one way in which Prolog does not conform to a strict logic model.
Assignment statement - I need a simple assignment statement with one arithmetic operator in some language you know. For each component of the statement, list the various bindings that are required to determine the semantics when the statement is executed. For each binding, indicate the binding time used for the language.
Programming - Should there be a single programming language for all programming domains?
Explain why or why not.
Theoretical question (Please help) - If you had to make some new programming language that you have decided to create, what design issues would you have to address usuing names, character strings, arrays, pointers, selection structures, and logically controlled loop statements?
Strings - Given the following grammar
S -> A
S -> B
A -> aCbA
A -> ab
B -> BCC
B -> a
C -> ba
which strings are valid?
a
ab
aba
abab
ababa
abababa
abababab
ababababab