category: logic programming languages

---

Description:	languages designed to manipulate logic predicates. Often used to build expert systems

Click here to follow all links at once

tool: "Paradigms of AI Programming"

tool: ? Prolog package from the University of Calgary ?

tool: ? slog ?

tool: ?; ? (two systems)

language/tool: ALF [prolog variant] / alf (Algebraic Logic Functional programming language)

tool: Aditi

tool: Amzi! Logic Explorer

language: BABYLON

tool: Beta-Prolog

tool: BinProlog

language/tool: CLP / CLP(R)

tool: Coral

tool: Frolic

tool: GNU Prolog

language: Goedel

tool: ISO draft standard

language/tool: Isabelle / Issabelle-93

language: Janus

• tool: jc
• tool: qdjanus

language/tool: LIFE / Wild_LIFE

tool: LM-PROLOG

language/tool: Lambda-Prolog / Prolog/Mali (PM)

language: Lolli

tool: Modular SB-Prolog

language/tool: OPS5 / PD OPS5

tool: Open Prolog

tool: PI

language/tool: Parlog / SPM System (Sequential Parlog Machine)

language: Prolog

• tool: SB-Prolog
• tool: SWI-Prolog
• tool: Tim Budd's C++ implementation of Kamin's interpreters
• tool: UPMAIL Tricia Prolog
• tool: wamcc
• tool: XSB
• tool: XWIP (X Window Interface for Prolog)

language/tool: Prolog + constraints over Finite Domains and Booleans / clp(FD)

language: mercury