Brow is expressed in ISO Prolog:
TERM | Examples |
---|---|
URI | '<http://example.org/etc#Socrates>' |
LITERAL | literal('Hello world!', type('<http://www.w3.org/2001/XMLSchema#string>')) literal(chat, lang(fr)) 1.52 1e-19 |
VARIABLE | X _abc _ |
LIST | [TERM,...] [TERM,... |LIST] [] |
LINK | URI(TERM) URI(TERM,TERM) |
GRAPH | LINK,... |
CLAUSE | Examples |
---|---|
FACT | LINK. |
RULE | LINK :- GRAPH, PROLOG . |
Brow is using modules from Tau Prolog.