Third party software for SICStus Prolog
Third Party Software
- Python/Prolog interface.
- is an open source object-oriented extension to Prolog.
- An interface to ISO regular expression functions.
- FSA Utilities
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
- 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.
- A module for parsing XML with Prolog. Bundled with SICStus Prolog.
- Some information related to Prolog, Computational Logic, Internet, and the WWW.
- 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
- A graphical user interface for Constraint Logic Programming.
Natural Language Systems
- A lexical database for the English language.
- Prolog Word Expert Toolkit.
- A toolkit for building and experimenting with dialogue systems based on information states.
- A set of Prolog natural language tools.
- 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.
- An environment to develop logic grammars / parsers /
generators for natural languages.
- 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.
- 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
- Theorem Prover for Conditional Logics.
- SAT-based Model-Checking of Security Protocols.
- Theorem Prover for Dependent Type Systems.
- An animator and model checker for the B-method.
- A system for checking termination of queries to logic programs.
- A system for termination inference.
- A complete and sound theorem prover for first-order logic.
- A Tableau Prover for Linear Logic.
- 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
- A tool for non-classical logic programming.
- The Causal Calculator (CCalc) is a system for representing commonsense knowledge about action and change.
- A Logic Programming Language with Abduction and Assumptions.
- The Portland Aachen Kiel Curry System.
- The Functional-Logic Language ALF.
- An interpreter for the functional language EXP.
- Planning with Preferences using Logic Programming.
- 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
- An implementation of the Progol algorithm for inductive logic programming.
- 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.