Skip to content

Commit 1aa7a6a

Browse files
committed
updated readme
1 parent e89f631 commit 1aa7a6a

File tree

1 file changed

+15
-0
lines changed

1 file changed

+15
-0
lines changed

README.md

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,3 +24,18 @@ Reader reader = new StringReader("hello(world). some({1,2,3}). power(X,Y,Z) :- Z
2424
PrologParser parser = new GenericPrologParser(reader, new DefaultParserContext(ParserContext.FLAG_CURLY_BRACKETS, Op.SWI));
2525
parser.forEach(System.out::println);
2626
```
27+
28+
# Supported Prolog terms
29+
The parser supports
30+
- atoms (class PrologAtom)
31+
- numbers (classes PrologInt and PrologFloat), they are based on big numbers so that their size is not restricted
32+
- lists (class PrologList)
33+
- structures (class PrologStruct)
34+
- variables (class PrologVar)
35+
36+
Supported quotations:
37+
- single quote `'`
38+
- double quote `"`
39+
- back tick
40+
41+
Bracketed empty-functor structures represented by structure with functor either `{}` or `()` (depends on bracket type).

0 commit comments

Comments
 (0)