You are welcome to choose a project in Prolog. Below are a few suggestions, but if you have a more interesting idea that will demonstrate your knowledge of Prolog, that's fine.
Write a toy, syntax-driven translator, either from one language to another (e.g. English to French, Italian to German, etc.) or within a single language, translating sentences to different sentences with the same meaning.
Sentences will be represented as lists of words. The translator should be able to handle simple sentence constructions, such as [jack, runs], subject-verb-object [jack, hits, susan], subject-verb-prepositional phrase [jack, went, to, the, school]. The translation should maintain the correct verb tense and conjugation.
You should create a database of translations of words (using facts, of course) and clauses showing grammatical rules. These facts and clauses might look like:
englishpropernoun(jack).You can imagine how [he,ran] gets translated to [il,a,couru] using the
It is a relatively simple matter to write a program to perform symbolic differentiation on algebraic expressions. Consider:
d(U+V,X,DU+DV) :- d(U,X,DU), d(V,X,DV).and so on (see Sterling&Shapiro, pp. 79 ff.) These rules describe the derivatives of algebraic expressions in terms of the derivatives of their subexpressions. The symmetry between input and output in these clauses means that they can be used to integrate as well. Investigate this fact, by extending the rules given above with a few more (powers,
d(U-V,X,DU-DV) :- d(U,X,DU), d(V,X,DV).
d(U*V,X,U*DV+V*DU) :- d(U,X,DU), d(V,X,DV).
Note that +,*, and - are infix operators (that are identical to their prefix counterparts, i.e. X+Y is the same as +(X,Y)).