Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Encoding gbie_dcg.pl

Name	gbie_dcg.pl
Class Tree	[Root]    Miscellaneous (45)    ASP Contest 09 (45)    Special-Purpose Encodings and Tools (4)
Submitter	Martin Gebser
Author	Martin Gebser and Roland Kaminski
Description	An SWI Prolog program for "Grammar-Based Information Extraction" that does the parsing via a Definite Clause Grammar (DCG). To be invoked via the shell script here: http://asp.haiti.cs.uni-potsdam.de/encoding/show/id/6083
Created	2009-04-01 09:37
Modified	2009-04-01 15:38
Languages
Language Features
Compatible Instance Classes
Input Predicates	char/2
Output Predicates	sol/0 values/4
Encoding Parameter
Standalone	No
Tags
Attributes
Content	% I uncomment all sanity checks of instance for getting maximum Prolog speed ;-) % char(z,0) :- fail. :- load_files([],[stream(user_input)]). % Some predicates ... write_sol([X]) :- write(X), write(').'), !. write_sol([X|L]) :- write(X), write(','), write_sol(L). grammar(S,X,T,Y) :- word(1,W), % setof(I,D^char(D,I),J), length(J,N), findall(C,word(1,C,J,N),W), phrase(equation(L>R),W), call(L>R), (L<0 -> (S=m, X is abs(L)) ; (S=p, X=L)), (R<0 -> (T=m, Y is abs(R)) ; (T=p, Y=R)). word(I,W) :- char(C,I) -> (J is I+1, word(J,V), W=[C|V]) ; W=[]. % word(I,C,[I|L],N) :- % setof(D,char(D,I),[D]), (L==[] -> (I==N, C=D) ; (C=D ; J is I+1, word(J,C,L,N))). % DCG for parsing (in)equation ... equation(L>R) --> expression(L), [g], sign_1(S), numb(M), { number_chars(N,M), R is S*N }. expression(N) --> sign_1(S), term(U), term_1(V), { N is S*U+V }. term(N) --> numb(M), !, { number_chars(N,M) }. term(N) --> [o], expression(N), [c]. term_1(N) --> sign(S), !, term(U), term_1(V), { N is S*U+V }. term_1(0) --> []. sign(-1) --> [m], !. sign(+1) --> [p]. sign_1(-1) --> [m], !. sign_1(+1) --> [p], !. sign_1(+1) --> []. numb([D|E]) --> digit(D), numb_1(E). numb_1([D|E]) --> digit(D), !, numb_1(E). numb_1([]) --> []. digit(C) --> [D], { integer(D), number_chars(D,[C]) }. % CALL :- grammar(S,X,T,Y) -> (write('sol. values('), write_sol([S,X,T,Y])) ; write('UNSATISFIABLE').