windows9download

You Here : Home > Linux

A declarative logic programming system beta

OS Support:

OS Independent (Written in an interpreted language)


Publisher

Old version

Update:

February 15 2006

Download:

A declarative logic programming system beta


Description

A declarative logic programming system with first-class relationsembedded in a pure functional subset of Scheme. The system has trueunions, fair scheduling, lexically-scoped logical variables,set-theoretical semantics, high performance without cuts


Related Downloads


  • Mozart 1.3.1
  • Mozart is a development platform for constraint and distributed applications. The Mozart Programming System is an advanced development platform for intelligent, distributed applications. The system is the result of a decade of research in programming...

  • Dinamica 2.1.2
  • Dinamica project is a powerful and very easy to use framework for J2EE Web development. Dinamica project is a powerful and very easy to use framework for J2EE Web development. It's newbie friendly and was built from scratch to be a high productivity...

    Software Tags

    A Declarative Logic Programming System

    Size : 14.1 KB

    Next/Pre