Giters

ePaul / Bracmat

Programming language for symbolic computation with extraordinary combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Bracmat

Bracmat is software for exploration and transformation of uncharted and complex data. Bracmat employs a pattern matching technique that can handle string data (text) as well as structured data (XML, HTML, JSON, algebraic expressions, email, program code, ...).

The programming language construct for pattern matching supports associative pattern matching (known from regular expressions), and expression evaluation during pattern matching (comparable to guards in functional languages). The combination of pattern matching in (semi-)structured data with associative patterns that allow embedded expression evaluation is almost unique.

Bracmat is a good choice for tasks that require dynamic programming.

Almost three hundred examples of Bracmat code can be found at http://rosettacode.org/wiki/Rosetta_Code

This distribution contains the following directories and files:

  • Linux

    • bracmat

      64 bit statically linked executable for Linux (tested with Ubuntu 16.04)

  • Python-module

    Python and Cython source code for creating a Python module 'prythat' so the Bracmat evaluator can be called from the Python programming language

    • build-launch.bat

      Windows batch file for creating a Bracmat module that can be included in Python programs. Contains two lines. The first line compiles and links the module, the second tests the result.

    • launch.py

      Python program that demonstrates evaluation of Bracmat expressions, also call back to Python. Tests the prythat module.

    • prythat.pyx

      Cython source code that interfaces Python with Bracmat and vv.

    • setup.py

      Makefile for buidling the module.

  • Windows

    • bracmat.exe

      32 bit executable for Windows

    • bracmat64.exe

      64 bit executable for Windows

  • doc

    • CLIN26-poster.pdf

      Poster presented at the 26th Meeting of Computational Linguistics in the Netherlands (CLIN26) in Amsterdam on December 18, 2015.

    • LT4DH14.pdf and LT4DH-2016-poster.pdf

      Paper and poster presented at the Language Technology four Digital Humanities workshop in Osaka, December 2016

    • NLPwithBracmat.pdf

      Tour through Bracmat for computational linguists.

    • bracmat-table.html

      The documentation in HTML format, automatically generated from the file 'help' and using an alternative lay-out with tables.

    • bracmat.html

      The documentation in HTML format, automatically generated from the file 'help'.

    • help

      The documentation in Bracmat format. (You have to run Bracmat and issue 'get$help' to see it properly.)

  • epoc

    • bracmat.SIS

      Installation program for Psion 5MX and Ericsson MC218 PDAs. This file is not always up to date.

  • java-JNI

    Java and C source code for creating a JNI (Java Native Interface) so the Bracmat evaluator can be called from the Java programming language.

    • java

      Java code

      • bracmattest.java

        Example program showing how to evaluate a Bracmat expression from within a Java program

      • dk

        • cst

          • bracmat.java

            Java code that loads the Bracmat dynamic library.

    • bracmatdll.cpp, bracmatdll.h

      Source and header files that are needed for building the Windows version of a Bracmat JNI, which requires Bracmat to be in a dynamic linked library.

    • bracmattest.c

      Program source that links with a Bracmat dynamic library. For Linux.

    • compileAndTestJNI.sh

      Linux script to create a Bracmat JNI. This file contains a comment that describes the steps to create a Bracmat JNI for the Windows platform using Visual C++.

    • dk_cst_bracmat.c, dk_cst_bracmat.h

      Source and header files that are needed for building a Bracmat JNI, which requires Bracmat to be in a dynamic linked library.

    • makeJNI.bat

      Batch file for Windows to create a Bracmat JNI. Should work with a number of versions of Microsoft's C-compiler.

  • macOS

    • bracmat

      executable for Apple computers

  • safe

    • bracmatso.c

      Source file that includes bracmat.c after turning off functionality that we don't want in a JNI or Python module running in a production system: low level file manipulations, system() calls, and exit() which would bring the application container down.

  • src

    • Makefile

      Builds the standard edition of bracmat, a "safe" version of bracmat, a version for profiling, and a version for code coverage.

    • bracmat.c

      Most of the source code of the program.

    • bracmat.h

      An optional header file, if you want to compile Bracmat as a library.

    • json.c

      Source code that implements support for reading JSON-files

    • xml.c

      Source code that implements support for reading XML-files

    • CONFIGURE.COM

      Script that configures DESCRIP.MMS

    • DESCRIP.MMS

      OpenVMS makefile.

  • web

    All that is needed to create a version of Bracmat that runs in a browser.

    • bracmatJS.html

      Bracmat compiled to Javascript using emscripten, embedded in a single HTML-page. Nice for toy scripts, slow.

    • editbracmatjs.bra

      A Bracmat script that edits the output of the emscripten C-to-Javascript compiler and creates a HTML page containing Javascript embodying Bracmat.

    • emscriptenHowToHTML.sh

      Linux batch file that runs emscripten and does some postprocessing, creating a Javascript version of Bracmat, bracmatJS.html. Requirement: emscripten 1.38.0 emcc and bracmat must be in PATH to run this script.

  • Changelog

    A document describing changes between versions.

  • README.md

    This file.

  • LICENSE

    The full text of the GNU public licence.

  • howto.md

    Detailed explanation of how to use the wizzard project.bra to create a Bracmat program.

  • lex.bra

    Utility to spot unused variables and functions. It also tells you which variables are used outside their lexical scope. (Which is not an error, since Bracmat is dynamically scoped.)

  • pr-xml-utf-8.xml

    XML test file.

  • project.bra

    A tool to initialise a new Bracmat program. Usage: Read this file ( get'"project.bra" ) and answer the questions. The created program stub has a comment, a class for the program and a reread procedure that reads the file, renames the file to a backup and saves it, thereby nicely reformatting the code. (Most comments are lost!) Some editors discover that the file has been changed and propose to reread the file. In this way, the user doesn't need to bother about formatting. Cyclus: edit program, save from editor, reread in Bracmat, reload in editor, edit program.

  • uni.bra

    A utility that generates UNICODE-related tables from UnicodeData.txt (http://unicode.org/Public/UNIDATA/UnicodeData.txt). These tables, which are also found in bracmat.c, have to be updated every few years, when UnicodeData.txt is updated. Conversion between lower and upper casing is based on these tables.

  • valid.bra

    A test suite. Whenever possible, one or more tests are added for every new functionality and every bug fix.

Usage

  • To start an interactive session

    bracmat

    • Quit by typing a closing parenthesis after the {?} prompt.

  • To run Bracmat in batch/mode

    bracmat parm1 parm2 ...

    • Bracmat evaluates each parameter, from left to right. When the last parameter is evaluated, bracmat exits.
    • At least the first parameter must be a valid bracmat expression, appropriately quoted and 'escaped' to pass unscathed through the shell's own parameter evaluation mechanism.

Download

You can download Bracmat from GitHub.

mkdir bracmat
cd bracmat
git init
git remote add origin https://github.com/BartJongejan/Bracmat.git
git pull origin master
cd ..

Installation

The Bracmat source code has no other dependencies than what is provided by Standard C. Building bracmat from source is extremely simple, e.g.:

gcc bracmat.c xml.c json.c

You can also use the Makefile, which is in the src directory.

Bracmat has been compiled and run on the following platforms:

  • Windows
    • All versions, compiled with 32 bit VC 6.0 and newer, BCC 5.02, tcc.
    • A 16 bit version existed until version 2.8
    • Bracmat can be compiled to 64 bits. This gives faster multiplication of very large numbers.
  • RISC-OS (Norcroft C ver 3)
  • EPOC 5 (Psion 5mx, Ericsson MC218: gcc)
  • HP-UNIX (gcc, cc)
  • Solaris (gcc)
  • Linux (gcc)
  • macOS (xcode, gcc)

If you have plans to run Bracmat from Python, you need Python and Cython besides a C-compiler. The software has been tested on Windows 10, 64 bit, using Cython version 0.28.2 and Python 3.6.3.

Testing

The file valid.bra contains enough tests to get in all corners of the source code, except those that lead to a controled exit condition.

For each error correction and for each new or changed feature a test must be added to valid.bra.

The testsuite valid.bra can also be used to find out how things can be programmed, although there is no good way to quickly search for what you are looking for.

usage: start Bracmat in interactve mode and write

get$"valid.bra"
!r

What others say

From https://chat.stackoverflow.com/transcript/10/2015/10/8/19-20

this programming language Bracmat

& (   !table:? (!country.?len) ?
   & :?N
   & ( @( !arg
        :   ?
            ( %@?c ?
            & ( !c:#
              |   !c:~<A:~>Z
                & asc$!c+-1*asc$A+10:?c
                & 1+!len:?len
              | !c:" "&:?c
              |
              )
            & !N !c:?N
            & ~
           
beats Perl in terms of line noise

The code cited in this citation can be found in full length here: http://rosettacode.org/wiki/IBAN#Bracmat

About

Programming language for symbolic computation with extraordinary combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.

License:GNU General Public License v2.0

Languages

Language:C 100.0%