Prolog not conforming to a strict logic model - Decribe one way in which Prolog does not conform to a strict logic model.

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

Typed Language - Explain the pros and cons of typed languages.

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?

Syntax - Differentiate between syntax and semantics.