Third party software for SICStus Prolog

Third Party Software

Development Tools

Pictus

Python/Prolog interface.

Multi-argument indexing

for compiled & dynamic rules.

MIXTUS

Mixtus is an automatic partial evaluator for full Prolog. Given a Prolog program and a partially instantiated query it will produce a new Prolog program optimized for all instances of that query.

Logtalk

is an open source object-oriented extension to Prolog.

Prolog-RX

An interface to ISO regular expression functions.

FSA Utilities

is a package providing finite state automaton operations (intersection, determinization, minimalization, intersection...). The program is able to produce representations of finite state automaton in formats compatible with several visualization tools.

Elex scanner generator

is a program like (f)lex, but it supports multiple (output) languages including Prolog.

Typical

is a tool for static type analysis of Prolog which allows ordered types and refined predicate declarations.

WWW and Multi-Agent Programming Tools

The Open Agent Architecture

A framework for integrating a community of heterogeneous software agents in a distributed environment.

xml.pl

A module for parsing XML with Prolog. Bundled with SICStus Prolog.

LPNet

Some information related to Prolog, Computational Logic, Internet, and the WWW.

PiLLoW

A public domain Internet/WWW programming library for Logic Programming Systems which simplifies the process of writing applications for this environment. The library provides facilities for generating HTML or XML structured documents by handling them as Herbrand terms, producing HTML forms, writing form handlers, processing HTML templates, accessing and parsing WWW documents (either HTML or XML), accessing code posted at HTTP addresses, etc. Bundled with SICStus Prolog.

Graphical User Interfaces

CLPGUI

A graphical user interface for Constraint Logic Programming.

Natural Language Systems

WordNet

A lexical database for the English language.

CaSAPI

Credulous and Sceptical Argumentation System.

QDATR

An implementation of the DATR formalism.

PWE

Prolog Word Expert Toolkit.

Trindikit

A toolkit for building and experimenting with dialogue systems based on information states.

ProNTo

A set of Prolog natural language tools.

CHRG

A grammar system implemented in SICStus Prolog using Constraint Handling Rules.

The µ-TBL System

An attempt to use the search and database capabilities of the Prolog programming language to implement a generalized form of transformation-based learning.

LHIP

The LHIP parser (Left-Head corner Island Parser) was developed by Afzal Ballim, at ISSCO, the University of Geneva. LHIP is a system for incremental grammar development using an extended DCG formalism.

The Babel-System

A large scale system for analyzing written German.

HDRUG

An environment to develop logic grammars / parsers / generators for natural languages.

HPSG-PL

An implementation of the HPSG formalism, developed by Fred Popowich, Sandi Kodric and Carl Vogel. It was developed to be a working tool for designing and testing grammars written within the HPSG framework.

Type-Logical Grammar Theorem Prover

An interactive theorem-prover for type-logical categorial grammars. The parsers allow the client to parse strings selected from a corpus or typed in. One of its applications uses Prolog as part of the Common Gateway Interface (CGI) in order to process HTML Forms.

ALE

The Attribute-Logic Engine grammar parsing system.

Delilah

A parsing system for Dutch. It parses a categorial grammar of the major constructions of Dutch sentences on the basis of a polymorphic lexicon. Among the phenomena Delilah can handle are all forms of left dislocation, verb clustering intrinsicalities and free conjunction.

Universal Grammar in Prolog

Programs showing how to implement Chomsky's ideas into a parser.

The Alvey NL Tools grammar

Possibly the largest freely-available DCG for English.

Constraint Solvers and Theorem Provers

CondLean

Theorem Prover for Conditional Logics.

SATMC

SAT-based Model-Checking of Security Protocols.

ALLICATOR

Theorem Prover for Dependent Type Systems.

ProB

An animator and model checker for the B-method.

TermiLog

A system for checking termination of queries to logic programs.

cTI

A system for termination inference.

leanTAP

A complete and sound theorem prover for first-order logic.

linTAP

A Tableau Prover for Linear Logic.

ncDP

A Non-Clausal Davis-Putnam Prover.

DemoII System

A meta-logic programming system that covers a wide range of automated reasoning tasks including abduction and induction. These task are specified in terms of declarative meta-level statements using a proof predicate which is reversible in the sense that it works equally well for executing known programs as well as for generating new programs that make given goals provable.

Other Research Systems

MOLOG

A tool for non-classical logic programming.

GCplp

Graphs and colorings for answer set programming with preferences.

CCalc

The Causal Calculator (CCalc) is a system for representing commonsense knowledge about action and change.

HYPROLOG

A Logic Programming Language with Abduction and Assumptions.

PAKCS

The Portland Aachen Kiel Curry System.

ALF

The Functional-Logic Language ALF.

EXPi

An interpreter for the functional language EXP.

Dynamic Dependability Gauges

Technology for generating custom dependability gauges, which monitor dependability properties (e.g., security, safety, fault-tolerance) of a complex, evolving system architecture at runtime.

ASPlan

Planning with Preferences using Logic Programming.

Gödel

A logic programming language, intended to be a declarative, strongly typed alternative to Prolog.

Datalog Educational System

The Datalog Educational System (DES) is a free, open-source, multiplatform, Prolog-based implementation of a basic deductive database system.

P-Prolog

An implementation of the Progol algorithm for inductive logic programming.

Nicos's software

Several statistical algorithms, and more.

Etalis

is an engine for complex event processing in a data-driven fashion based on backward chaining of rules which allows for an efficient detection of complex events.