brow

Reasoning in the browser

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.

Brow examples

Background