datalog

%%
%%   Copyright 2014 - 2015 Dmitry Kolesnikov, All Rights Reserved
%%
%%   Licensed under the Apache License, Version 2.0 (the "License");
%%   you may not use this file except in compliance with the License.
%%   You may obtain a copy of the License at
%%
%%       http://www.apache.org/licenses/LICENSE-2.0
%%
%%   Unless required by applicable law or agreed to in writing, software
%%   distributed under the License is distributed on an "AS IS" BASIS,
%%   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
%%   See the License for the specific language governing permissions and
%%   limitations under the License.
%%
%% @doc
%%   datalog
Definitions.

CHAR  = [a-zA-Z_@]
DIGIT = [0-9]
WS    = ([\000-\s]|%.*)

%%
%%
Rules.

%%
%% symbol
%%
{CHAR}+  :
   {token, {symbol, TokenLine, TokenChars}}.

'[a-zA-Z_:]* :
   {token, {symbol, TokenLine, lists:sublist(TokenChars, 2, TokenLen - 1)}}.

%%
%% xsd:anyURI
%%   <http://a/b> - absolute IRI
%%   a:b - compact IRI
%%
<[^>]*> :
   {token, {iri, TokenLine, strip(TokenChars,TokenLen)}}.

%%
%% xsd:string
%%
\"[^\"]*\" :
   {token, {binary, TokenLine, strip(TokenChars,TokenLen)}}.

%%
%% xsd:integer
%%
{DIGIT}+ :
   {token, {integer, TokenLine, TokenChars}}.

%%
%% xsd:decimal
%%
{DIGIT}+\.{DIGIT}+ :
   {token, {decimal, TokenLine, TokenChars}}.

%%
%% syntax
%%
\?\- :
   {token,{list_to_atom(TokenChars),TokenLine}}.

\:\- :
   {token,{list_to_atom(TokenChars),TokenLine}}.

[()\[\]{}_<=>!.,^\-\:@/] :
   {token,{list_to_atom(TokenChars),TokenLine}}.

{WS}+  : skip_token.

%%
%%
Erlang code.

strip(TokenChars,TokenLen) ->
   lists:sublist(TokenChars, 2, TokenLen - 2).