Computer Science 2209 - Propositional and predicate logic; representing static and dynamic properties of real-world systems; logic as a tool for representation, reasoning and calculation; logic and programming.

Write a prolog program that contains a family of a few generations and name all the members and provide facts about them.

Write a prolog program to properly answer the IBM Watson question that was failed on the jeopardy show.

Write a prolog program that defines the following relations: last(X,Xs), adjacent(X,Y,Zs), and substitue(X,Y,Xs,Ys).

Tic-Tac-Toe Prolog Example

Write a prolog program to identify if a crossword works.