JarCasting
Preword
During my development of Java prolog engine (JProl) I had developed parser to parse sources written in Edinburgh style, I decided to extract the module into separated project and 1.0.0 version was published. In 2018 I had decided to make deep refactoring and 2.0.0 version was published. The Parser allows build custom prolog parsers with support of operators and some modern prolog features.
Features
It supports
- prolog operators
- line and block commentaries
- underline splitted numbers
- curly blocks
Maven dependency
It is a library without 3th side dependencies, it is published im the Maven central and can be added into project just with:
<dependency>
<groupId>com.igormaznitsa</groupId>
<artifactId>java-prolog-parser</artifactId>
<version>2.0.2</version>
</dependency>
How to use?
Parser implements stream which sequentially reads prolog terms from reader. By default PrologParser is abstract class but there is GenericPrologParser class provides minimalistic implementation.
Reader reader = new StringReader("hello(world). some({1,2,3}). power(X,Y,Z) :- Z is X ** Y.");
PrologParser parser = new GenericPrologParser(reader, new DefaultParserContext(ParserContext.FLAG_CURLY_BRACKETS, Op.SWI));
parser.forEach(System.out::println);
Supported Prolog terms
The parser supports
- atoms (class PrologAtom)
- numbers (classes PrologInt and PrologFloat), they are based on big numbers so that their size is not restricted
- lists (class PrologList)
- structures (class PrologStruct)
- variables (class PrologVar)
Supported quotations:
- single quote
' - special flag turns on whitespace support in single quote mode
- double quote
" - back tick
Bracketed empty-functor structures represented by structure with functor either {} or () (depends on bracket type).