↓
 

Programming languages for the Java Virtual Machine JVM and Javascript

Home→Tags Prolog 1 2 3 >>

Tag Archives: Prolog

Post navigation

← Older posts

MINERVA

Programming languages for the Java Virtual Machine JVM and Javascript Posted on 9. November 2009 by Robert Tolksdorf20. January 2016

MINERVA is a declarative language that inherits and combines the advantages of Java and Prolog, resulting in a very practical tool. MINERVA is implemented in Java and provides the core functionality of ISO/IEC 13211-1.

URL: http://www.ifcomputer.com/MINERVA

Posted in JVM Language | Tagged Prolog, Various

XProlog

Programming languages for the Java Virtual Machine JVM and Javascript Posted on 9. November 2009 by Robert Tolksdorf9. November 2009

XProlog was developped to be used the handle the knowledge and reasoning needs of Java based Agents. It should be reasonably fast and compact so that every agent could have its own KB and inference engine.

URL: http://www.iro.umontreal.ca/%7Evaucher/XProlog/AA_README

Posted in JVM Language | Tagged Logic programming, Prolog

tuProlog

Programming languages for the Java Virtual Machine JVM and Javascript Posted on 9. November 2009 by Robert Tolksdorf5. February 2016

tuProlog (2P) is a Java-based light-weight Prolog interpreter (and related Java API) for systems engineering, suitable for open / dynamic environment such as Internet applications and infrastructures. 2P technology is an open-sourceproject.

URL: http://tuprolog.sourceforge.net/

Posted in JVM Language | Tagged Logic programming, Prolog

GNU Prolog for Java

Programming languages for the Java Virtual Machine JVM and Javascript Posted on 9. November 2009 by Robert Tolksdorf5. February 2016

GNU Prolog for Java is an almost conforming implementation of ISO Prolog standard in Java. It implements almost all required predicates, but there are some minor problems which do not allow me to call it conforming. This package were never indended to be used as standalone system, it is a library which is designed to embeddable into Java applications which need Prolog to solve some tasks. The interpreter intended for applications where Prolog performs combinatory search and Java do rest.

URL: http://gnuprologjava.sourceforge.net/

Posted in JVM Language | Tagged Logic programming, Prolog

Prolog Cafe

Programming languages for the Java Virtual Machine JVM and Javascript Posted on 9. November 2009 by Robert Tolksdorf9. November 2009

Prolog Cafe is a Prolog-to-Java source-to-source translator system. Prolog programs are first translated into Java programs via the WAM (Warren Abstract Machine), and then those programs are compiled by a usual Java compiler such as SUN’s JDK SE. From the Java side, the translated code can be easily embedded into Java applications. From the Prolog side, any Java object can be represented as a Prolog term, and its methods and fields can be exploited from Prolog.

URL: http://kaminari.scitec.kobe-u.ac.jp/PrologCafe/

Posted in JVM Language | Tagged Logic programming, Prolog

bddbddb

Programming languages for the Java Virtual Machine JVM and Javascript Posted on 9. November 2009 by Robert Tolksdorf9. November 2009

bddbddb stands for BDD-Based Deductive DataBase. It is an implementation of Datalog, a declarative programming language similar to Prolog for talking about relations. What makes bddbddb unique is that it represents the relations using binary decision diagrams (BDDs). BDDs are a data structure that can efficiently represent large relations and provide efficient set operations. This allows bddbddb to efficient represent and operate on extremely large relations – relations that are too large to represent explicitly.

URL: http://bddbddb.sourceforge.net/

Posted in JVM Language | Tagged Logic programming, Prolog

hobstick

Programming languages for the Java Virtual Machine JVM and Javascript Posted on 9. November 2009 by Robert Tolksdorf5. February 2016

hobstick is a simple Java based Prolog interpreter.

URL: http://code.google.com/p/hobstick/

Posted in JVM Language | Tagged Logic programming, Prolog

W-Prolog

Programming languages for the Java Virtual Machine JVM and Javascript Posted on 9. November 2009 by Robert Tolksdorf5. December 2017

W-Prolog is a simple Prolog interpreter written in Java. New version.

URL: http://www.cs.rmit.edu.au/%7Ewinikoff/wp

Posted in JVM Language | Tagged Logic programming, Prolog

LL

Programming languages for the Java Virtual Machine JVM and Javascript Posted on 9. November 2009 by Robert Tolksdorf20. January 2016

LL is a Prolog like logic programming language. The documentation is in German.

URL: http://www.uni-koblenz.de/%7Emotzek/html/progsp/ll.htm

Posted in JVM Language | Tagged Logic programming, Prolog

LLPj

Programming languages for the Java Virtual Machine JVM and Javascript Posted on 9. November 2009 by Robert Tolksdorf9. November 2009

The language LLP is a logic programming language based on intuitionistic linear logic. LLP is a superset of Prolog and a subset of Lolli which is another linear logic programming language. We are developing LLPj: A LLP to Java translator system.

URL: http://kaminari.scitec.kobe-u.ac.jp/banbara.html

Posted in JVM Language | Tagged Logic programming, Prolog

Post navigation

← Older posts

Tags

ASN.1 Assembler AWK Basic Beans Clojure Cobol concurrency contracts Forth Functional generics Haskell Imperative jass Java extension JavaFX JavaScript Lisp Logic programming Logo Lua multiple inheritance Object-oriented OO Pascal Perl PHP polymorphism Precompiler Processing Prolog Prototypes Python Ruby rules Scala Scheme Scripting Smalltalk Tcl Various XML XProc XSLT

Recent Posts

  • Haxe
  • Processing.js
  • Gremlin
  • Blockly
  • substandard-lisp

Categories

  • Announcement
  • JavaScript language
  • JVM Language
  • Link broken
©2018 - Programming languages for the Java Virtual Machine JVM and Javascript
↑