SICStus Prolog Homepage WELCOME TO
SICStus Prolog
Leading Prolog Technology
  SICStus Home > Third Party Software Download for Evaluation
Third party software for SICStus Prolog

Third party software for SICStus Prolog

Third Party Software

Development Tools

Picstus
Python/Prolog interface.

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

DALI
An Active Logic Programming Language, with reactive and proactive features, designed for programming logical Agents and Multi-Agent Systems.

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

Kahina
A visualization tool for Prolog.

CLPGUI
A graphical user interface for Constraint Logic Programming.

Natural Language Systems

MetaMap
A Tool For Recognizing UMLS Concepts in Text.

WordNet
A lexical database for the English language.

Regulus
A toolkit for building spoken dialogue systems.

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.

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.

ALE
The Attribute-Logic Engine grammar parsing system.

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

G.L. Pozzato
Gian Luca Pozzato's theorem provers.

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.

Other Research Systems

MOLOG
A tool for non-classical logic programming.

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.

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-Progol
An implementation of the Progol algorithm for inductive logic programming.

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.

Valid HTML 4.01 Transitional