Starlog Is Prolog with Nested Predicate Calls
4 months ago
- #Starlog
- #Syntax-Converter
- #Prolog
- The Starlog Converter is a bidirectional translation tool between standard Prolog and Starlog syntax.
- Starlog uses a functional notation where the output parameter is represented using an 'is' operator.
- Special operators in Starlog include ':' for string concatenation, '&' for list append, and '•' for atom concatenation.
- The converter supports a wide range of built-in Prolog predicates, translating them into Starlog format.
- Examples include converting 'string_concat(A, B, C)' to 'C is (A : B)' and 'append(A, B, C)' to 'C is (A & B)'.
- The tool also performs reverse conversions, transforming Starlog code back to standard Prolog syntax.
- Commands are provided for running the converter in both directions using SWI-Prolog.