PROLOG: Clauses Grammer In Prolog
2 likes1,246 views
This document discusses using definite clause grammars (DCGs) to define context-free grammars in Prolog. It describes how DCGs provide a notation that hides the underlying difference list representation used to efficiently recognize grammars. Examples are provided of DCGs for simple grammars that generate sentences about shooting and for the formal language anbn. Adding recursive rules is also discussed to allow generating infinitely many sentences by joining them with conjunctions.
![CFG recognition using appendwe can simply `turn the grammar into Prolog'.Ex: the string a woman shoots a man will be represented by the list[a,woman,shoots,a,man].the rule s -> np vp can be thought of as saying: a list of words is an s list if it is the result of concatenating an np list with a vp list.We can make use of append to turn these kinds of rules into Prolog.s(Z) :- np(X), vp(Y), append(X,Y,Z).np(Z) :- det(X), n(Y), append(X,Y,Z).vp(Z) :- v(X), np(Y), append(X,Y,Z).vp(Z) :- v(Z).v([shoots]).](https://image.slidesharecdn.com/clausesgrammerinprolog-100328214034-phpapp01/85/PROLOG-Clauses-Grammer-In-Prolog-6-320.jpg)
![det([the]).det([a]).n([woman]).n([man]).So, on posing the query s([a,woman,shoots,a,man]).We get yesIn fact, our little grammar generates 20 sentences. Here are the first five:s(X).X = [the,woman,shoots,the,woman] ;X = [the,woman,shoots,the,man] ;X = [the,woman,shoots,a,woman] ;X = [the,woman,shoots,a,man] ;X = [the,woman,shoots]](https://image.slidesharecdn.com/clausesgrammerinprolog-100328214034-phpapp01/85/PROLOG-Clauses-Grammer-In-Prolog-7-320.jpg)
![CFG recognition using difference listsA more efficient implementation can be obtained by making use of difference lists.The key idea underlying difference lists is to represent the information about grammatical categories not as a single list, but as the difference between two lists. For example, instead of representing a woman shoots a man as [a,woman,shoots,a,man] we might represent it as the pair of lists[a,woman,shoots,a,man] [].represents the sentence a woman shoots a man because it says: If I consume all the symbols on the left, and leave behind the symbols on the right, I have the sentence I am interested in.That is: the sentence we are interested in is the difference between the contents of these two lists.](https://image.slidesharecdn.com/clausesgrammerinprolog-100328214034-phpapp01/85/PROLOG-Clauses-Grammer-In-Prolog-8-320.jpg)
![Definite clause grammarsDCGs, quite simply is a nice notation for writing grammars that hides the underlying difference list variables.Ex: The previous grammar written as a DCG:s --> np,vp.np --> det,n.vp --> v,np.vp --> v.det --> [the].det --> [a].n --> [woman].n --> [man].v --> [shoots].](https://image.slidesharecdn.com/clausesgrammerinprolog-100328214034-phpapp01/85/PROLOG-Clauses-Grammer-In-Prolog-9-320.jpg)
![Definite clause grammarsTo find out whether a woman shoots a man is a sentence, we pose the query:s([a,woman,shoots,a,man],[]).That is, just as in the difference list recognizer, we ask whether we can get an s by consuming the symbols in [a,woman,shoots,a,man], leaving nothing behind.Similarly, to generate all the sentences in the grammar, we pose the query:s(X,[]).](https://image.slidesharecdn.com/clausesgrammerinprolog-100328214034-phpapp01/85/PROLOG-Clauses-Grammer-In-Prolog-10-320.jpg)
![Adding Recursive RulesTurning this grammar into DCG rules. s --> s,conj,s.conj --> [and].conj --> [or].conj --> [but].First, let's add the rules at the beginning of the knowledge base before the rule s --> np,vp.If now, we pose the query s([a,woman,shoots],[])? Prolog gets into an infinite loop.](https://image.slidesharecdn.com/clausesgrammerinprolog-100328214034-phpapp01/85/PROLOG-Clauses-Grammer-In-Prolog-12-320.jpg)
![So, by just reordering clauses or goals, we won't solve the problem. The only possible solution is to introduce a new nonterminal symbol. We could for example use the category simple_s for sentences without embedded sentences. Our grammar would then look like this:s --> simple_s.s --> simple_s conj s.simple_s --> np,vp.np --> det,n.vp --> v,np.vp --> v.det --> [the].det --> [a].n --> [woman].n --> [man].v --> [shoots].conj --> [and].conj --> [or].conj --> [but].](https://image.slidesharecdn.com/clausesgrammerinprolog-100328214034-phpapp01/85/PROLOG-Clauses-Grammer-In-Prolog-13-320.jpg)
![CFG to generate this language:s -> epsilons -> l s rl -> ar -> bTurning this grammar into DCG.s --> [].s --> l,s,r.l --> [a].r --> [b].And this DCG works exactly as we would hope. For example, to the querys([a,a,a,b,b,b],[]).we get the answer `yes',](https://image.slidesharecdn.com/clausesgrammerinprolog-100328214034-phpapp01/85/PROLOG-Clauses-Grammer-In-Prolog-15-320.jpg)
PROLOG: Clauses Grammer In Prolog
- 1. Clause Grammars in Prolog
- 2. OVERVIEWContext free grammarsCFG recognition using appendCFG recognition using difference listsDefinite clause grammarsAdding Recursive RulesA DCG for a simple formal language
- 3. Context Free GrammarsDefinite Clauses Grammars(DCGs) are a special notation for defining grammars.context free grammar are a finite collection of rules which tell us that certain sentences are grammatical (that is, syntactically correct) and what their grammatical structure actually is.
- 4. CFGConsider the following examples:s -> np vpnp -> det nvp -> v npvp -> vdet -> adet -> then -> womann -> manv -> shootshere, s, np, vp, det, n, v symbols are called non-terminal symbols;
- 5. The symbols: a, the, woman, man, and shootsare called terminal symbolsA context free rule consists of a single non-terminal symbol, followed by ->, followed by a finite sequence made up of terminal and/or nonterminalsymbols.
- 6. CFG recognition using appendwe can simply `turn the grammar into Prolog'.Ex: the string a woman shoots a man will be represented by the list[a,woman,shoots,a,man].the rule s -> np vp can be thought of as saying: a list of words is an s list if it is the result of concatenating an np list with a vp list.We can make use of append to turn these kinds of rules into Prolog.s(Z) :- np(X), vp(Y), append(X,Y,Z).np(Z) :- det(X), n(Y), append(X,Y,Z).vp(Z) :- v(X), np(Y), append(X,Y,Z).vp(Z) :- v(Z).v([shoots]).
- 7. det([the]).det([a]).n([woman]).n([man]).So, on posing the query s([a,woman,shoots,a,man]).We get yesIn fact, our little grammar generates 20 sentences. Here are the first five:s(X).X = [the,woman,shoots,the,woman] ;X = [the,woman,shoots,the,man] ;X = [the,woman,shoots,a,woman] ;X = [the,woman,shoots,a,man] ;X = [the,woman,shoots]
- 8. CFG recognition using difference listsA more efficient implementation can be obtained by making use of difference lists.The key idea underlying difference lists is to represent the information about grammatical categories not as a single list, but as the difference between two lists. For example, instead of representing a woman shoots a man as [a,woman,shoots,a,man] we might represent it as the pair of lists[a,woman,shoots,a,man] [].represents the sentence a woman shoots a man because it says: If I consume all the symbols on the left, and leave behind the symbols on the right, I have the sentence I am interested in.That is: the sentence we are interested in is the difference between the contents of these two lists.
- 9. Definite clause grammarsDCGs, quite simply is a nice notation for writing grammars that hides the underlying difference list variables.Ex: The previous grammar written as a DCG:s --> np,vp.np --> det,n.vp --> v,np.vp --> v.det --> [the].det --> [a].n --> [woman].n --> [man].v --> [shoots].
- 10. Definite clause grammarsTo find out whether a woman shoots a man is a sentence, we pose the query:s([a,woman,shoots,a,man],[]).That is, just as in the difference list recognizer, we ask whether we can get an s by consuming the symbols in [a,woman,shoots,a,man], leaving nothing behind.Similarly, to generate all the sentences in the grammar, we pose the query:s(X,[]).
- 11. Adding Recursive RulesOur original context free grammar generated only 20 sentences. However it is easy to write context free grammars that generate infinitely many sentences: we need simply use recursive rules.EX: Let's add the following rules to our grammar:s -> s conj sconj -> andconj -> orconj -> butThis rule allows us to join as many sentences together as we like using the words and, but and or.
- 12. Adding Recursive RulesTurning this grammar into DCG rules. s --> s,conj,s.conj --> [and].conj --> [or].conj --> [but].First, let's add the rules at the beginning of the knowledge base before the rule s --> np,vp.If now, we pose the query s([a,woman,shoots],[])? Prolog gets into an infinite loop.
- 13. So, by just reordering clauses or goals, we won't solve the problem. The only possible solution is to introduce a new nonterminal symbol. We could for example use the category simple_s for sentences without embedded sentences. Our grammar would then look like this:s --> simple_s.s --> simple_s conj s.simple_s --> np,vp.np --> det,n.vp --> v,np.vp --> v.det --> [the].det --> [a].n --> [woman].n --> [man].v --> [shoots].conj --> [and].conj --> [or].conj --> [but].
- 14. A DCG for a simple formal languagewe shall define a DCG for the formal language a^nb^n.There are only two `words' in this language:The symbol a and the symbol b.The language consist of all strings made up from these two symbols that have the following form: the string must consist of an unbroken block of as of length n, followed by an unbroken block of bs of length n, and nothing else. So the strings ab, aabb, aaabbb and aaaabbbb all belong to a^nb^n.
- 15. CFG to generate this language:s -> epsilons -> l s rl -> ar -> bTurning this grammar into DCG.s --> [].s --> l,s,r.l --> [a].r --> [b].And this DCG works exactly as we would hope. For example, to the querys([a,a,a,b,b,b],[]).we get the answer `yes',
- 16. Visit more self help tutorialsPick a tutorial of your choice and browse through it at your own pace.The tutorials section is free, self-guiding and will not involve any additional support.Visit us at www.dataminingtools.net