Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up

🈂️ A DSL for querying the ACM Digital Library

NotificationsYou must be signed in to change notification settings

jaffreyjoy/dlql

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 
 
 

Repository files navigation

A DSL to query the ACM digital library

How to Run

The query can be modified insrc/query.rkt and then run:

racket main.rkt

If the query is valid it would open the result of the query in a chrome window.

To change the browser in which you want the results to be displayed, change the path string assigned to thebrowser-bin-path variable in thesrc/main.rkt.

Example

An example query would look like:

'(  (    [define-query func-lambda-church        (conj (abstract                (disj"functional""lambda calculus"))            (author (conj"church"))        )    ]    [define-query term-klop        (conj (abstract                (disj"term rewriting"))            (author (conj"klop"))        )    ]    )    (run-query (disj func-lambda-church term-klop)))

Grammar

Program Expression

;;  <exp> ::= ((<list-of-define-query>) <run-stmt>);;;;  <list-of-define-query> :=;;                          | (define-query <symbol> <query>) <list-of-define-query>;;;;  <run-stmt> ::= (run-query <query>)

Query Expression

;;  <query> ::= <symbol>;;            | (conj (<list-of-query>));;            | (disj (<list-of-query>));;            | (<select-attr> (conj (<list-of-attr>)));;            | (<select-attr> (disj (<list-of-attr>)));;;;  <list-of-query> ::=;;                   | <query> <list-of-query>;;;;  <list-of-attr> ::=;;                   | <attr> <list-of-attr>;;;;  <attr> ::= <string>

Select Attributes

;;  <select-attr> ::= paper-title;;                  | pub-title;;                  | author;;                  | abstract;;                  | full-text;;                  | conf-location;;                  | conf-sponsor;;                  | isbn;;                  | doi

About

🈂️ A DSL for querying the ACM Digital Library

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages


[8]ページ先頭

©2009-2025 Movatter.jp