Skip to content

Releases: vscosta/yap-6.3

Old is New and New is Old

08 Jan 21:55
Compare
Choose a tag to compare
Pre-release

YAP 6.3.4

This work is experimental and under active development, please be careful when using it, and be prepared.

YAP-6.3.4 includes changes to most components of the system: Major internal changes are:

  • error handling code moved out of emulator
  • a new flag manipulation library
  • a text conversion library, based on the ideas of the SWI-Prolog text buffers
  • support for strings
  • Original YAP Input/Output has been split into a library, and broken into smaller files
  • utf8proc for unicode manipulation
  • foreign language interface: initial, SWI and a new C++ based
  • many bug fixes
  • new module support code
  • changes to the debugger, that still need work.
  • mode based tabling
  • etc, etc

The configuration system has been changed to cmake: nobody likes messing with cmake :) Please use cmake, cmake-gui, etc for system configuration.

  • -DCMAKE_RELEASE_TYPE
  • -DCMAKE_INSTALL_PREFIX
  • -DWITH.... to select individual packages

Documentation is provided by doxygen-yap, an extension of doxygen that we are developing to support Prolog. doxygen-yao is close to pldoc, please check an experimental site to see the current status. Less powerful than pldoc, doxygen-yap is designed to allow integration between Prolog and C-code, etc.

Adapters:

  • jpl (currently with library problems)
  • swig ( with python and java), developed toward andoid stuff
  • prolog to R, a different version of Real
  • prolog to python

Probabilistic libraries/languages

  • cp-lint
  • problog-i (with in-core bdd for faster learning)
  • clp(bn)/pfl
  • prism

they are supported by a BDD interface.

Data support

  • exo data, see ICLP paper
  • myddas has ben separated in two layers, the bottom (driver) later includes prototype drivers for odbc, postgres, mysql and sqlite3
  • initial drivers for web data based on libxml2 (XML) and raptor (RDF).

Bottom-up execution:

  • GPU library
  • tuple-at-a-time Prolog emulator

Constraints

  • gecode interface
  • the CLP(FD), CLP(R) and CHR packages will be added soon.

And more....

This is a major rewrite to the system. Expect brokenness : YAP may eat your disk, dance on your keyboard, and chase your mouse into your fridge.It will definitely not compile on your WIndows machine (right now).

Have fun!

Vitor