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.
- Complex numbers (view source)
- Easter date (view source)
- Enigma 1225 (view source)
- Extended deep taxonomy (view source)
- Fibonacci numbers (view source)
- Four color case (view source)
- Goal driven Parallel Sequences (view source)
- Graph traversal (view source)
- Hanoi towers (view source)
- Lee routing (view source)
- Meta-interpretation (view source)
- Padovan numbers (view source)
- Polynomial roots (view source)
- Socrates is a mortal (view source)
- Superdense coding (view source)
- Turing machine (view source)
- Personal notes by Tim Berners-Lee: Design Issues
- Book of Markus Triska: The Power of Prolog