Prolog Developer

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).