Logic-based

Axiomatic Language

axiomaticlanguage.org

A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates declarative specific…

226 visits Sep 14, 2024 Details

Conferences: Logic-Related

informatik.hu-berlin.de

This web page of conferences and workshops that have an overlap with logic in computer science is maintained by the LICS organization. The first half of the page is an incomplete l…

312 visits Feb 14, 2024 Details

Dyna

dyna.org

A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values, e.g. probabilities in statistical AI. Supports prioritization, pr…

110 visits Oct 17, 2024 Details

Kiev: Java compiler with logic extensions

forestro.com

This open-source language licensed under GPL is a superset of Java with Prolog-like extensions.

438 visits Sep 27, 2025 Details

PC AI - Logic Programming

pcai.com

As part of a survey of information on artificial intelligence this section on logic programming is provided.

371 visits Feb 2, 2025 Details

TyRuBa

tyruba.sourceforge.net

Type Rule Base is an experimental logic/metaprogramming language for generating Java code. This BSD-licensed free software resembles Prolog, is implemented in Java and provides a s…

137 visits Jun 7, 2025 Details

What are Logic Programming and Prolog?

biocheminfo.org

Clear explanation of logic programming, and merits of declarative languages.

13 visits Aug 10, 2024 Details

XE

cs.hut.fi

Resulting from the Exbed project, this general-purpose programming language supports data abstraction and rule-based programming and is based on but is not a formal extension of CL…

39 visits Feb 26, 2026 Details

XSB

xsb.sourceforge.net

A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering among other thi…

170 visits Oct 26, 2024 Details

Logic-based

Category Info