Prolog Project

These are skills needed for this following project.

semantics (investigating meaning of programs on different structures, e.g., selection, iterative, and recursive programs);

mathematical inductions;

tools for pattern matching (e.g., regular expression, DFSA, NFSA).