From Newsgroup: comp.lang.prolog
Hi,
The cult of CLAM will devour its believers.
This is nicely seen here:
Answer depends on a clause position
https://github.com/mthom/scryer-prolog/discussions/3004
How do you want to provide a solution, more
and more desperate attempts like piling "dif"
indexing over it. Only because CLAM is currently
the refuge of academic frauds who have never
implemented a Prolog system, and don't know what
choice point elimination is, doesn't mean its
a good idea. Also what is the use case here?
Do you want to make a bidirectional Closure
rewrite utility like here:
Rewrite-clj is a library that can read, update and write Clojure
https://github.com/clj-commons/rewrite-clj/blob/main/doc/01-user-guide.adoc
Its actually quite charming utility that has a parser,
that reads a Clojure term including white space fillers
and comments. And might write back through an unparser,
in total when combined with zippers, this gives a simple
refactoring tool. Prolog community is now researching
CLAM for the next 30 years, because it wants the paser
and unparser in a single source of truth, bidirectionally
derived from some declarative description?
Congratulations!
Bye
Mild Shock schrieb:
Hi,
I am still convinced Prolog can keep up with the AI Boom.
Nothing listed in the Prolog FAQ is really useful to
keep up with the AI Boom. Its nice historical footnote.
I don't think anything CLAM , i.e. constraint logic
abstract machine, will hit the spot of the AI Boom.
Prove me wrong if you can. Autodiff with CLAM, holy
cow what a nonsense...
Bye
Mild Shock schrieb:
Hi,
BTW: I have red taped www.jekejeke.ch on
Wayback Machine . Red Taping is a legal
process which took a few steps, like E-mail
verification and DNS verifcation, I had to provide the
whole history that I owned www.jekejeke.ch, and it
is not temporary , its irreversible, since I do not
intend to remove the red tape. But the "red tape"
metaphor is spot on. The content is not actually
deleted from their servers. It is made inaccessible
to the public. So certain institution if there is a
need might still access it. But if I am run over by
a tram tomorrow, not sure whether I have a good
Software-Escrow for Jekejeke Prolog. Currently
you can assume that my company XLOG Technologies AG
is resposible for carrying out or delegating the
Software-Escrow of Jekejeke Prolog. And the company
still exists, it exists in active form, unlike some
other Prolog involved companies.
Bye
Mild Shock schrieb:
Amzi! Prolog just tells me:
This Web site will be closing on 6/19/2026.
Dennis Merritt is finally retiring!
https://www.amzi.com/
And here he writes:
I used to earn my living writing and selling software.
My company was AmziLogic LLC, and sold Prolog
and Prolog-based software.
https://denniscmerritt.com/amzi-inc/
So who is the benevolent Software-Escrow. Problem
is even if there are lovely Prolog books from Amzi!
The world might tick differently now,
USA in strong competition over AI with China,
AGI already nocking on the door.
Markus Triska schrieb:
-a-a-a-a-a-a-a-a-a-a-a-a-a-a-a-a-a Frequently Asked Questions - comp.lang.prolog
-a-a-a Last-modified: 2022-02-24
-a-a-a Last-changes: Update link to tutorial by J.R. Fisher. Geoffrey >>>> Churchill.
Markus Triska (Mar. 2 2007 - ... )
Remko Troncon (Jan. 6 2002 - Mar. 2 2007)
Dirk-Jan Faber (Feb. 1 1999 - Jan. 6 2002)
Jamie Andrews (Aug 26 1992 - Oct. 16 1997)
__________________________________________________________________
-a-a-a-a-a General Information: This article contains the answers to some >>>> -a-a-a-a-a Frequently Asked Questions (FAQ) often seen in
-a-a-a-a-a news://comp.lang.prolog/. It is posted (twice a month,
currently on
-a-a-a-a-a the 2nd and 16th) to help reduce volume in this newsgroup and to
-a-a-a-a-a provide hard-to-find information of general interest.
-a-a-a-a-a The World Wide Web URL for this FAQ is:
-a-a-a-a-a http://www.logic.at/prolog/faq/
-a-a-a-a-a Please send questions about the FAQ and updates to
-a-a-a-a-a <triska@logic.at>.
-a-a-a 1. What is the Association for Logic Programming?
-a-a-a To keep up with the current state of logic programming technology, >>>> -a-a-a readers can join the Association for Logic Programming (ALP) and >>>> -a-a-a receive their Newsletter. For details on how to join or send in >>>> -a-a-a contributions, check http://www.cs.nmsu.edu/ALP/ or contact
-a-a-a Sandro Etalle <etalle@cs.utwente.nl>
-a-a-a The Prolog Resource Guide (v0.6) was printed in issue 5/1 of the >>>> -a-a-a Newsletter (Feb. 1992). This lists information concerning Prolog >>>> -a-a-a Archives, Books, Suppliers, etc. It is now maintained by Mark
-a-a-a Kantrowitz (<Mark.Kantrowitz@glinda.oz.cs.cmu.edu>), and used to be >>>> -a-a-a posted periodically to news://comp.lang.prolog.
-a-a-a 2. Where can I get a free Prolog for system X (PC, Mac, Unix or >>>> other)?
-a-a-a The following are anonymous-FTP sites for free Prologs (or related >>>> -a-a-a languages) which are either in the public domain or are
"copy-lefted"
-a-a-a (permitted to be copied with some restrictions on commercial use). >>>>
-a-a-a (Please note that for extensive development work, users will
probably
-a-a-a want a robust interpreter or compiler with good debugging
facilities
-a-a-a and a standard syntax, among other things. While public-domain >>>> systems
-a-a-a are a valuable service to the community, they do not necessarily >>>> have
-a-a-a all these things, and users should weigh carefully what they
want to do
-a-a-a against the capabilities and costs of the available systems.)
-a-a-a ALF (Algebraic Logic Functional language)
-a-a-a-a-a-a-a-a-a-a + Platforms: UNIX
-a-a-a-a-a-a-a-a-a-a + Available: Unknown
-a-a-a-a-a-a-a-a-a-a + E-mail: Rudolf Opalla
-a-a-a-a-a-a-a-a-a-a-a-a <opalla@julien.informatik.uni-dortmund.de>
-a-a-a-a-a-a-a-a-a-a + Info: WAM-based language with narrowing/rewriting >>>>
-a-a-a Amzi! Prolog + Logic Server
-a-a-a-a-a-a-a-a-a-a + Platforms: Window, Linux and Solaris
-a-a-a-a-a-a-a-a-a-a + Available: http://www.amzi.com/download/
-a-a-a-a-a-a-a-a-a-a + E-mail: <info@amzi.com>
-a-a-a-a-a-a-a-a-a-a + Info: Registration is compulsory, except for the Free
-a-a-a-a-a-a-a-a-a-a-a-a Academic/Personal/Evaluation License.
-a-a-a Aquarius Prolog 1.0
-a-a-a-a-a-a-a-a-a-a + Platforms: UNIX
-a-a-a-a-a-a-a-a-a-a + Available:
http://www.info.ucl.ac.be/people/PVR/aquarius.html
-a-a-a-a-a-a-a-a-a-a + Info: High performance, commercial functionality except
-a-a-a-a-a-a-a-a-a-a-a-a debugging and modules.
-a-a-a Argo Prolog v.1.1
-a-a-a-a-a-a-a-a-a-a + Platforms: Solaris 1.x and HP-UX 9.x
-a-a-a-a-a-a-a-a-a-a + Available: Unknown
-a-a-a-a-a-a-a-a-a-a + Contact: Takao Doi <doi@csk.co.jp>
-a-a-a Arity/Prolog32
-a-a-a-a-a-a-a-a-a-a + Platforms: Win32
-a-a-a-a-a-a-a-a-a-a + Available: https://github.com/Peter-Gabel/ArityProlog32
-a-a-a-a-a-a-a-a-a-a + Info: Arity/Prolog32 provides a complete Prolog >>>> programming
-a-a-a-a-a-a-a-a-a-a-a-a environment in which you can write, debug, and run Prolog
-a-a-a-a-a-a-a-a-a-a-a-a programs in 32-bit Windows environments (95/98/NT/2000).
-a-a-a-a-a-a-a-a-a-a-a-a Arity/Prolog32 is a powerful, highly optimized, and
extended
-a-a-a-a-a-a-a-a-a-a-a-a version of the logic programming language Prolog. >>>> -a-a-a-a-a-a-a-a-a-a-a-a Arity/Prolog32 is a complete compiler and interpreter
written
-a-a-a-a-a-a-a-a-a-a-a-a in Prolog, C, and Assembly language and is a superset of
-a-a-a-a-a-a-a-a-a-a-a-a Clocksin and Mellish Prolog.
-a-a-a B-Prolog 8.1
-a-a-a-a-a-a-a-a-a-a + Platforms: Win32, Solaris, SunOS, UNIX, FreeBSD and Linux
-a-a-a-a-a-a-a-a-a-a + Available: http://www.probp.com/
-a-a-a-a-a-a-a-a-a-a + E-mail: Neng-Fa Zhou <support@probp.com>
-a-a-a-a-a-a-a-a-a-a + Info: Free of charge for individual users.
-a-a-a BinProlog 7.0
-a-a-a-a-a-a-a-a-a-a + Platforms: Windows 95/98/NT, Linux and all major Unix
-a-a-a-a-a-a-a-a-a-a-a-a platforms.
-a-a-a-a-a-a-a-a-a-a + Available: https://code.google.com/archive/p/binprolog/
-a-a-a-a-a-a-a-a-a-a + Info: Download free evaluation copies and see online
demos.
-a-a-a-a-a-a-a-a-a-a-a-a Inexpensive Educational licensing available.Has built-in
-a-a-a-a-a-a-a-a-a-a-a-a networking, multi-threading, mobile code and distributed
-a-a-a-a-a-a-a-a-a-a-a-a blackboards. Supports BinNet Internet Programming Tool
kit.
-a-a-a Brain Aid Prolog (BAP) v1.4
-a-a-a-a-a-a-a-a-a-a + Platforms: Transputer systems
-a-a-a-a-a-a-a-a-a-a + Info: BAP is a parallel prolog system for Transputer
systems.
-a-a-a-a-a-a-a-a-a-a-a-a Available under a Berkely style of copyright. >>>>
-a-a-a C#Prolog
-a-a-a-a-a-a-a-a-a-a + Platforms: Win32, UNIX
-a-a-a-a-a-a-a-a-a-a + Available: http://sourceforge.net/projects/cs-prolog/
-a-a-a-a-a-a-a-a-a-a + E-mail: John Pool <j.pool@ision.nl>
-a-a-a-a-a-a-a-a-a-a + Info: A Prolog interpreter written in C#. Can easily be
-a-a-a-a-a-a-a-a-a-a-a-a integrated in C# programs. Characteristics: reliable
and quite
-a-a-a-a-a-a-a-a-a-a-a-a fast beta version, command line interface, builtin DCG,
-a-a-a-a-a-a-a-a-a-a-a-a XML-predicates, persistent predicates (using Firebird
RDBMS),
-a-a-a-a-a-a-a-a-a-a-a-a extendible.
-a-a-a Ciao 1.4
-a-a-a-a-a-a-a-a-a-a + Platforms: Linux, Win32 (95/98/NT), Solaris, SunOS,
UNIX in
-a-a-a-a-a-a-a-a-a-a-a-a general.
-a-a-a-a-a-a-a-a-a-a + Available: http://ciao-lang.org
-a-a-a-a-a-a-a-a-a-a + E-mail: Developers <ciao@clip.dia.fi.upm.es>, Users >>>> -a-a-a-a-a-a-a-a-a-a-a-a <ciao-users@clip.dia.fi.upm.es>
-a-a-a-a-a-a-a-a-a-a + Info: Next generation LP/CLP system. Commercial >>>> functionality,
-a-a-a-a-a-a-a-a-a-a-a-a but freely available w/source. ISO-Prolog + modules,
-a-a-a-a-a-a-a-a-a-a-a-a networking, multi-threading, clp(r), clp(q), interfaces
(Java,
-a-a-a-a-a-a-a-a-a-a-a-a C, tcltk, WWW, databases/ODBC, ...), functions, >>>> higher-order,
-a-a-a-a-a-a-a-a-a-a-a-a records, persistence, objects, assertions (types,
modes, ...),
-a-a-a-a-a-a-a-a-a-a-a-a source debugger, auto-documenter, static debugger, and
more.
-a-a-a clp(FD)
-a-a-a-a-a-a-a-a-a-a + Platforms: UNIX
-a-a-a-a-a-a-a-a-a-a + Contact: Daniel Diaz <daniel.diaz@inria.fr>
-a-a-a-a-a-a-a-a-a-a + Info: Constraint logic programming over finite domains.
-a-a-a-a-a-a-a-a-a-a-a-a Requires GNU C v.2.4.5 or higher.
-a-a-a clp(FD,S)
-a-a-a-a-a-a-a-a-a-a + Platforms: UNIX
-a-a-a-a-a-a-a-a-a-a + Contact: Yan Georget <Yan.Georget@inria.fr>
-a-a-a-a-a-a-a-a-a-a + Info: Requires GNU C (gcc) version 2.4.5. or higher.
-a-a-a CLP(R)
-a-a-a-a-a-a-a-a-a-a + Platforms: UNIX
-a-a-a-a-a-a-a-a-a-a + Available: E-mail request from Joxan Jaffar
-a-a-a-a-a-a-a-a-a-a-a-a <joxan@watson.ibm.com>.
-a-a-a-a-a-a-a-a-a-a + Info: Constraint logic programming language, for >>>> academic and
-a-a-a-a-a-a-a-a-a-a-a-a research purposes only.
-a-a-a CxProlog
-a-a-a-a-a-a-a-a-a-a + Platforms: UNIX, MacOS X, Windows
-a-a-a-a-a-a-a-a-a-a + Available: http://ctp.di.fct.unl.pt/~amd/cxprolog/ >>>> -a-a-a-a-a-a-a-a-a-a + Info: Open source (GPL) implementation supporting Unicode,
-a-a-a-a-a-a-a-a-a-a-a-a threads, sockets, processes, contexts, imperative data
-a-a-a-a-a-a-a-a-a-a-a-a structures, and interfaces with C/C++, Java, and wxWidgets
-a-a-a-a-a-a-a-a-a-a + Contact: Artur Miguel Dias <amd@fct.unl.pt>
-a-a-a ECLiPSe Constraint Logic Programming System, subsuming Prolog.
-a-a-a-a-a-a-a-a-a-a + Platforms: Solaris, Linux, Linux/Alpha, Mac OS X, Windows
-a-a-a-a-a-a-a-a-a-a + Available: http://eclipseclp.org or
-a-a-a-a-a-a-a-a-a-a-a-a http://www.sourceforge.net/projects/eclipse-clp >>>> -a-a-a-a-a-a-a-a-a-a + Info: ECLiPSe is a Prolog and Constraint Programming
platform
-a-a-a-a-a-a-a-a-a-a-a-a with a long history and has been open-source since Sept
2006.
-a-a-a-a-a-a-a-a-a-a + License: MPL
-a-a-a IF Prolog V5.3
-a-a-a-a-a-a-a-a-a-a + Platforms: Windows 95/98/NT/2000/XP, Linux, Solaris, AIX,
-a-a-a-a-a-a-a-a-a-a-a-a HP-UX and other UNIX platforms
-a-a-a-a-a-a-a-a-a-a + Available: http://www.ifcomputer.de/Products/Prolog/
-a-a-a-a-a-a-a-a-a-a + E-mail: <info@ifcomputer.de>
-a-a-a-a-a-a-a-a-a-a + Info: IF Prolog is a commercial Prolog system with >>>> interfaces
-a-a-a-a-a-a-a-a-a-a-a-a to C/C++, Java, sockets, Windows events and a COM
servers. A
-a-a-a-a-a-a-a-a-a-a-a-a graphical debugger allows step-forward, step backward
-a-a-a-a-a-a-a-a-a-a-a-a debugging of Prolog code. A static module concept
allows many
-a-a-a-a-a-a-a-a-a-a-a-a additional errors to be detected at compile time.
Constraint
-a-a-a-a-a-a-a-a-a-a-a-a Programming (for finite domains, intervals and booleans
using
-a-a-a-a-a-a-a-a-a-a-a-a global constraints and linear optimisation).
-a-a-a-a-a-a-a-a-a-a + License: Free evaluation copies and inexpensive >>>> educational
-a-a-a-a-a-a-a-a-a-a-a-a licensing available.
-a-a-a GNU Prolog
-a-a-a-a-a-a-a-a-a-a + Platforms: Many Unixes, Windows, MacOS X
-a-a-a-a-a-a-a-a-a-a + Available: http://www.gprolog.org/
-a-a-a-a-a-a-a-a-a-a + E-mail: Daniel Diaz <daniel.diaz@inria.fr>
-a-a-a Jinni 2.27
-a-a-a-a-a-a-a-a-a-a + Platforms: Java-based
-a-a-a-a-a-a-a-a-a-a + Available: https://github.com/heathmanb/JinniProlog >>>> -a-a-a-a-a-a-a-a-a-a + Info: Multi-threaded, Java based Prolog interpreter with
-a-a-a-a-a-a-a-a-a-a-a-a built-in networking, distributed blackboards and mobile
code
-a-a-a-a-a-a-a-a-a-a-a-a (inexpensive shareware licensing available).
-a-a-a JIProlog
-a-a-a-a-a-a-a-a-a-a + Platforms: Java-based
-a-a-a-a-a-a-a-a-a-a + Available: http://www.jiprolog.com/
-a-a-a-a-a-a-a-a-a-a + Info: Java Internet Prolog is a cross-platform pure
Java 100%
-a-a-a-a-a-a-a-a-a-a-a-a prolog interpreter that supplies Java world with the
power of
-a-a-a-a-a-a-a-a-a-a-a-a prolog language and provides prolog language with a
technology
-a-a-a-a-a-a-a-a-a-a-a-a to implement new predicates in Java.
-a-a-a KLIC
-a-a-a-a-a-a-a-a-a-a + Platforms: UNIX
-a-a-a-a-a-a-a-a-a-a + Info: ICOT Free Software. Concurrent logic programming.
Tested
-a-a-a-a-a-a-a-a-a-a-a-a on Sparcs, DEC 7000, Gateway P5-60.
-a-a-a-a-a-a-a-a-a-a + Contact: <ifs@icot.or.jp>
-a-a-a LPA Win-Prolog, demo version
-a-a-a-a-a-a-a-a-a-a + Platforms: Windows
-a-a-a-a-a-a-a-a-a-a + Available: Available from http://www.lpa.co.uk/ind_dow.htm
-a-a-a MINERVA
-a-a-a-a-a-a-a-a-a-a + Platforms: Java
-a-a-a-a-a-a-a-a-a-a + Info: Proprietary commercial ISO-Prolog Compiler in
100% Java
-a-a-a-a-a-a-a-a-a-a-a-a support for web programming, XML, servlets, applets,
-a-a-a-a-a-a-a-a-a-a-a-a standalones. Free evaluation license.
-a-a-a Modular SB-Prolog (= SB-Prolog version 3.1 plus modules)
-a-a-a-a-a-a-a-a-a-a + Platforms: SPARC, DECstation, MIPS, HP 9000 series, Sun 3.
-a-a-a-a-a-a-a-a-a-a + Info: Copy-lefted.
-a-a-a Open Prolog
-a-a-a-a-a-a-a-a-a-a + Platforms: Apple Macintosh
-a-a-a-a-a-a-a-a-a-a + Available: http://www.cs.tcd.ie/open-prolog/
-a-a-a-a-a-a-a-a-a-a + E-mail: <brady@cs.tcd.ie>. (Michael Brady).
-a-a-a Poplog Prolog
-a-a-a-a-a-a-a-a-a-a + Platforms: Various Unixes, including Sun, Dec Alpha, HP
and
-a-a-a-a-a-a-a-a-a-a-a-a many others. Also a Win32 version is available. Sources
-a-a-a-a-a-a-a-a-a-a-a-a available for other combinations.
-a-a-a-a-a-a-a-a-a-a + Available: At the Free Poplog Web/FTP site, including full
-a-a-a-a-a-a-a-a-a-a-a-a sources
-a-a-a-a-a-a-a-a-a-a-a-a http://www.cs.bham.ac.uk/research/poplog/freepoplog.html
-a-a-a-a-a-a-a-a-a-a + E-mail: queries may be posted to news://comp.lang.pop/,
or to
-a-a-a-a-a-a-a-a-a-a-a-a <pop-forum@cs.bham.ac.uk> or <A.Sloman@cs.bham.ac.uk>
(Last
-a-a-a-a-a-a-a-a-a-a-a-a resort!)
-a-a-a-a-a-a-a-a-a-a + Info: Robust incremental compiler, part of the >>>> multi-language
-a-a-a-a-a-a-a-a-a-a-a-a Poplog system (including Common Lisp, Pop-11 and >>>> Standard ML).
-a-a-a-a-a-a-a-a-a-a-a-a Unix, Linux & VMS versions include full support for X
window
-a-a-a-a-a-a-a-a-a-a-a-a facilities/Motif. More information at
-a-a-a-a-a-a-a-a-a-a-a-a http://www.cs.bham.ac.uk/research/poplog/poplog.info.html
-a-a-a-a-a-a-a-a-a-a-a-a Licence modelled on XFree86. Can be freely distributed,
though
-a-a-a-a-a-a-a-a-a-a-a-a copyright is owned by Sussex University and ISL. >>>>
-a-a-a PIE2
-a-a-a-a-a-a-a-a-a-a + Platforms: Unknown
-a-a-a-a-a-a-a-a-a-a + Available: On CompuServe in the AIEXPERT forum, >>>> interpreter
-a-a-a-a-a-a-a-a-a-a-a-a and examples in PIE2.ZIP, documentation in PIEDOC.ZIP.
-a-a-a-a-a-a-a-a-a-a + E-mail: Brent Ruggles <ruggles@shell.com>
-a-a-a QuProlog
-a-a-a-a-a-a-a-a-a-a + Platforms: UNIX, Linux, beta for MAC
-a-a-a-a-a-a-a-a-a-a + Available:
-a-a-a-a-a-a-a-a-a-a-a-a http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html
-a-a-a-a-a-a-a-a-a-a + E-mail: <pjr@itee.uq.edu.au>
-a-a-a-a-a-a-a-a-a-a + Info: Extended WAM with support for quantifiers and >>>> -a-a-a-a-a-a-a-a-a-a-a-a substitutions, multi-threaded, high-level communication.
-a-a-a Scryer Prolog
-a-a-a-a-a-a-a-a-a-a + Platforms: Unix, Linux, Windows and Mac
-a-a-a-a-a-a-a-a-a-a + Available: https://github.com/mthom/scryer-prolog >>>> -a-a-a-a-a-a-a-a-a-a + Info: A modern Prolog system written mostly in Rust.
-a-a-a Strawberry Prolog
-a-a-a-a-a-a-a-a-a-a + Platforms: Windows 95/NT, plans for UNIX and Macintosh
-a-a-a-a-a-a-a-a-a-a + Available: http://www.dobrev.com/
-a-a-a-a-a-a-a-a-a-a + E-mail: <dimiter@dobrev.com>
-a-a-a SWI Prolog
-a-a-a-a-a-a-a-a-a-a + Platforms: Binaries for Linux, Windows
(NT/2000/XP/Vista) and
-a-a-a-a-a-a-a-a-a-a-a-a Mac OS X (darwin). Sources: ANSI-C, both 32 and 64-bit
-a-a-a-a-a-a-a-a-a-a-a-a machines, compiles on almost all Unix systems and more.
-a-a-a-a-a-a-a-a-a-a + Available: http://www.swi-prolog.org
-a-a-a-a-a-a-a-a-a-a + Info: Complete, ISO and Edinburgh standard, common >>>> -a-a-a-a-a-a-a-a-a-a-a-a optimizations, GC including atoms. Portable graphics,
multiple
-a-a-a-a-a-a-a-a-a-a-a-a threads, constraints, comprehensive libraries for
(semantic)
-a-a-a-a-a-a-a-a-a-a-a-a web programming, Unicode, source-level debugger, advanced
-a-a-a-a-a-a-a-a-a-a-a-a syntax colouring
-a-a-a-a-a-a-a-a-a-a + License: Simplified BSD. Run license/0 for more >>>> information.
-a-a-a Tau Prolog
-a-a-a-a-a-a-a-a-a-a + Platforms: Web-based
-a-a-a-a-a-a-a-a-a-a + Available: http://tau-prolog.org/
-a-a-a-a-a-a-a-a-a-a + Info: An open source Prolog interpreter in JavaScript.
-a-a-a Trinc-Prolog
-a-a-a-a-a-a-a-a-a-a + Platforms: Windows 95/98/NT 4.0, plans for Windows >>>> 2000, Linux
-a-a-a-a-a-a-a-a-a-a-a-a and Sun Solaris
-a-a-a-a-a-a-a-a-a-a + E-mail: <info@trinc-prolog.com>
-a-a-a Visual Prolog
-a-a-a-a-a-a-a-a-a-a + Platforms: Win32
-a-a-a-a-a-a-a-a-a-a + Available: http://www.visual-prolog.com
-a-a-a-a-a-a-a-a-a-a + Info: Includes all the facilities necessary to write
mission
-a-a-a-a-a-a-a-a-a-a-a-a critical commercial-grade applications. Fully visual
-a-a-a-a-a-a-a-a-a-a-a-a development environment. Open architecture.
Object-oriented.
-a-a-a-a-a-a-a-a-a-a-a-a Built-in database system and ODBC support. Visual Prolog
-a-a-a-a-a-a-a-a-a-a-a-a Personal Edition is available on a freeware license.
-a-a-a wamcc
-a-a-a-a-a-a-a-a-a-a + Platforms: UNIX
-a-a-a-a-a-a-a-a-a-a + Info: Compiler which translates Prolog to C via WAM.
-a-a-a-a-a-a-a-a-a-a-a-a Debuggers. Requires GNU C v.2.4.5 or higher.
-a-a-a-a-a-a-a-a-a-a + Contact: Daniel Diaz <daniel.diaz@inria.fr>
-a-a-a XGP
-a-a-a-a-a-a-a-a-a-a + Platforms: Apple Macintosh OS X, 10.2.3+
-a-a-a-a-a-a-a-a-a-a + Available: http://xgp.sourceforge.net/
-a-a-a-a-a-a-a-a-a-a + Info: XGP is an open source (GPL) integrated development
-a-a-a-a-a-a-a-a-a-a-a-a environment with user interface and graphics support
based on
-a-a-a-a-a-a-a-a-a-a-a-a gprolog and Cocoa under Macintosh OS X.
-a-a-a XSB
-a-a-a-a-a-a-a-a-a-a + Platforms: Many, including SunOS, Linux and Windows >>>> -a-a-a-a-a-a-a-a-a-a + Available: http://xsb.sourceforge.net/
-a-a-a-a-a-a-a-a-a-a + E-mail: <xsb-users@lists.sourceforge.net>
-a-a-a-a-a-a-a-a-a-a + Info: system with SLG-resolution, HiLog syntax, and >>>> -a-a-a-a-a-a-a-a-a-a-a-a unification factoring.
-a-a-a Yap
-a-a-a-a-a-a-a-a-a-a + Platforms: UNIX-based platforms and Windows
-a-a-a-a-a-a-a-a-a-a + Available: https://github.com/vscosta/yap-6.3
-a-a-a-a-a-a-a-a-a-a + E-mail: Vitor Santos Costa <vsc@ncc.up.pt>
-a-a-a-a-a-a-a-a-a-a + Info: Yap is entirely written in C and Prolog and >>>> should be
-a-a-a-a-a-a-a-a-a-a-a-a portable to most 32-bit and 64-bit Unix based platforms. A
-a-a-a-a-a-a-a-a-a-a-a-a Windows port is also available. Yap4.2 is distributed
under
-a-a-a-a-a-a-a-a-a-a-a-a Perl's artistic license and can be freely distributed.
-a-a-a 3. What commercial systems are available? What about systems
available
-a-a-a for a price from research institutions?
-a-a-a Many commercial systems are listed in the Prolog Resource Guide. >>>> The
-a-a-a Resource Guide also lists many systems which are not exactly
-a-a-a "commercial", but available for a price from research
institutions. The
-a-a-a list of such systems was originally compiled by Chris Moss, of >>>> Imperial
-a-a-a College. The rest of the Resource Guide was originally compiled >>>> by Dag
-a-a-a Wahlberg, of Uppsala University.
-a-a-a The Prolog Resource Guide hasn't been updated lately, but
nevertheless
-a-a-a still contains some valuable information. It can be found at
http://www-2.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/top.html.
-a-a-a 4. How do I get in touch with my Prolog's users' group, sales
-a-a-a representative, or technical support line?
-a-a-a Here are some e-mail addresses of these contacts, listed
alphabetically
-a-a-a by company or major product name.
-a-a-a ALS (Applied Logic Systems)
-a-a-a-a-a-a-a-a-a-a + Web site: http://alsprolog.com
-a-a-a Amzi! inc.
-a-a-a-a-a-a-a-a-a-a + Web site: http://www.amzi.com
-a-a-a-a-a-a-a-a-a-a + Information: <info@amzi.com>
-a-a-a-a-a-a-a-a-a-a + Sales: <sales@amzi.com>
-a-a-a-a-a-a-a-a-a-a + Support: <support@amzi.com>
-a-a-a Arity/Prolog32
-a-a-a-a-a-a-a-a-a-a + Web site: https://github.com/Peter-Gabel/ArityProlog32
-a-a-a Ciao, PiLLoW, WebDB, etc.
-a-a-a-a-a-a-a-a-a-a + Web site: http://www.clip.dia.fi.upm.es/Software >>>> -a-a-a-a-a-a-a-a-a-a + Users' group: <ciao-users@clip.dia.fi.upm.es>
-a-a-a-a-a-a-a-a-a-a + Information: <ciao@clip.dia.fi.upm.es>
-a-a-a-a-a-a-a-a-a-a + Tech support: <ciao-bugs@clip.dia.fi.upm.es>
-a-a-a COSYTEC (CHIP V5)
-a-a-a-a-a-a-a-a-a-a + Web site: http://www.cosytec.com
-a-a-a-a-a-a-a-a-a-a + Information: <info@cosytec.com> (or .fr)
-a-a-a-a-a-a-a-a-a-a + Tech Support: <support@cosytec.com> (or .fr)
-a-a-a ECLiPSe
-a-a-a-a-a-a-a-a-a-a + Web site: http://eclipseclp.org
-a-a-a-a-a-a-a-a-a-a + Users' group: <eclipse-clp-users@lists.sf.net>
-a-a-a-a-a-a-a-a-a-a + Tech support: <http://eclipseclp.org/bugs.html> >>>> -a-a-a-a-a-a-a-a-a-a + Support contracts: <info@coninfer.com>
-a-a-a Expert Systems Ltd. (Prolog-2)
-a-a-a-a-a-a-a-a-a-a + Sales: <sales@expert.demon.co.uk>
-a-a-a-a-a-a-a-a-a-a + Support: <support@expert.demon.co.uk>
-a-a-a-a-a-a-a-a-a-a + Users' group: <prolog2-request@hplb.hpl.hp.com> >>>>
-a-a-a GNU Prolog
-a-a-a-a-a-a-a-a-a-a + Web site: http://www.gprolog.org/
-a-a-a-a-a-a-a-a-a-a + Users' group: <users-prolog-request@gnu.org>
-a-a-a-a-a-a-a-a-a-a + Bug reports: <bug-prolog@gnu.org>
-a-a-a LPA
-a-a-a-a-a-a-a-a-a-a + Web site: http://www.lpa.co.uk/
-a-a-a-a-a-a-a-a-a-a + Sales: <sales@lpa.co.uk>
-a-a-a-a-a-a-a-a-a-a + Tech support: <support@lpa.co.uk>
-a-a-a MasterProLog
-a-a-a-a-a-a-a-a-a-a + Formerly BIM ProLog
-a-a-a PDC Prolog
-a-a-a-a-a-a-a-a-a-a + PDC Prolog is the succesor to Turbo Prolog and the >>>> predecessor
-a-a-a-a-a-a-a-a-a-a-a-a to Visual Prolog.
-a-a-a ProLog by BIM
-a-a-a-a-a-a-a-a-a-a + Currently MasterProLog
-a-a-a Quintus
-a-a-a-a-a-a-a-a-a-a + Web site: http://quintus.sics.se
-a-a-a-a-a-a-a-a-a-a + Mailing list: see
-a-a-a-a-a-a-a-a-a-a-a-a http://www.sics.se/isl/quintuswww/site/community.html
-a-a-a-a-a-a-a-a-a-a + Sales: <qpsales@sics.se>
-a-a-a-a-a-a-a-a-a-a + Tech support: <qpsupport@sics.se>
-a-a-a SICStus
-a-a-a-a-a-a-a-a-a-a + Web page: http://www.sics.se/sicstus
-a-a-a-a-a-a-a-a-a-a + Mailing list: see
-a-a-a-a-a-a-a-a-a-a-a-a http://www.sics.se/isl/sicstuswww/site/community.html
-a-a-a-a-a-a-a-a-a-a + Sales: <sicstus-request@sics.se>
-a-a-a-a-a-a-a-a-a-a + Tech support: <sicstus-support@sics.se>
-a-a-a Trinc / Trinc-Prolog
-a-a-a-a-a-a-a-a-a-a + Information: <info@trinc-prolog.com>
-a-a-a-a-a-a-a-a-a-a + Sales: <sales@trinc-prolog.com>
-a-a-a-a-a-a-a-a-a-a + Support: <support@trinc-prolog.com>
-a-a-a Turbo Prolog
-a-a-a-a-a-a-a-a-a-a + Turbo Prolog is the predecessor of PDC Prolog (see above).
-a-a-a Visual Prolog
-a-a-a-a-a-a-a-a-a-a + Web site: http://www.visual-prolog.com/
-a-a-a-a-a-a-a-a-a-a + Information: <sales@pdc.dk> (or <sales@visual-prolog.com>)
-a-a-a-a-a-a-a-a-a-a + Sales: <sales@pdc.dk> (or <sales@visual-prolog.com>)
-a-a-a-a-a-a-a-a-a-a + Tech support: <support@pdc.dk> (or
-a-a-a-a-a-a-a-a-a-a-a-a <support@visual-prolog.com>)
-a-a-a 5. I think language X is better than Prolog. What do you think? >>>>
-a-a-a These debates rarely result in any productive discussion. To some >>>> -a-a-a extent, one's favourite language is based on irrational ideology. >>>>
-a-a-a However, many people now agree that different languages are good >>>> for
-a-a-a different things. Prolog seems to be good for problems in which >>>> logic
-a-a-a is intimately involved, or whose solutions have a succinct logical >>>> -a-a-a characterization. Like other interactive, symbolic languages,
Prolog is
-a-a-a also good for rapid prototyping.
-a-a-a Also, note that there are many different "Prologs" and other logic >>>> -a-a-a programming languages available, all with different capabilities. >>>>
-a-a-a 6. What are the recent developments?
-a-a-a There are some languages in development which do not have Prolog >>>> -a-a-a syntax, but do subsume and generalize Prolog's logic programming >>>> -a-a-a abilities.
-a-a-a Mercury
-a-a-a-a-a-a-a-a-a-a + Web site: http://www.mercury.cs.mu.oz.au/index.html >>>>
-a-a-a The Mozart Consortium:
-a-a-a-a-a-a-a-a-a-a + Web site: http://mozart.github.io/
-a-a-a-a-a-a-a-a-a-a + Mailing lists: <http://mozart.github.io/mailing-lists/>
-a-a-a Some other languages bring new developments while also supporting >>>> -a-a-a Prolog syntax and functionality as an option:
-a-a-a Ciao
-a-a-a-a-a-a-a-a-a-a + Web site: http://www.clip.dia.fi.upm.es/Software >>>> -a-a-a-a-a-a-a-a-a-a + Users' group: <ciao-users@clip.dia.fi.upm.es>
-a-a-a-a-a-a-a-a-a-a + Information: <ciao@clip.dia.fi.upm.es>
-a-a-a-a-a-a-a-a-a-a + Tech support: <ciao-bugs@clip.dia.fi.upm.es>
-a-a-a Logtalk
-a-a-a-a-a-a-a-a-a-a + Web site: http://logtalk.org/
-a-a-a-a-a-a-a-a-a-a + E-mail: Paulo Moura <pmoura@logtalk.org>
-a-a-a-a-a-a-a-a-a-a + Info: Open source object-oriented extension to Prolog
-a-a-a-a-a-a-a-a-a-a-a-a compatible with most Prolog compilers.
-a-a-a 7. My Prolog prof assigned me this problem. Can you help me with >>>> it?
-a-a-a If your instructor assigned it to you, he or she probably wanted >>>> you to
-a-a-a do it yourself. If it's an introductory Prolog course, your
question
-a-a-a might be elementary to most readers, so it might be a waste of >>>> network
-a-a-a resources to ask it. Please ask your instructor, a friend, a
teaching
-a-a-a assistant, or a local newsgroup for help first.
-a-a-a That being said, there are news://comp.lang.prolog/ readers who >>>> would
-a-a-a be glad to help people making a legitimate attempt to learn Prolog. >>>>
-a-a-a 8. Can you suggest some books on Prolog?
-a-a-a The Prolog Resource Guide (see above) contains a listing of Prolog >>>> -a-a-a books. It is maintained by Mark Kantrowitz
-a-a-a (<Mark.Kantrowitz@glinda.oz.cs.cmu.edu>), and posted
periodically on
-a-a-a news://comp.lang.prolog.
-a-a-a Here are some of the most popular books on Prolog.
-a-a-a Introductory
-a-a-a-a-a-a-a-a-a-a + "Programming In Prolog". William F. Clocksin and >>>> Christopher
-a-a-a-a-a-a-a-a-a-a-a-a S. Mellish. Springer-Verlag, 2003 (5th ed).
-a-a-a-a-a-a-a-a-a-a + "Prolog for Programmers". Feliks Kluzniak and Stanislaw
-a-a-a-a-a-a-a-a-a-a-a-a Szpakowicz. Academic Press, London, 1985, now available
-a-a-a-a-a-a-a-a-a-a-a-a without charge from
-a-a-a-a-a-a-a-a-a-a-a-a https://sites.google.com/site/prologforprogrammers/
-a-a-a-a-a-a-a-a-a-a + "Prolog Programming for Artificial Intelligence". Ivan
Bratko.
-a-a-a-a-a-a-a-a-a-a-a-a Addison-Wesley, 2001 (3rd ed).
-a-a-a Advanced
-a-a-a-a-a-a-a-a-a-a + "The Art of Prolog: Advanced Programming Techniques". Leon
-a-a-a-a-a-a-a-a-a-a-a-a Sterling and Ehud Shapiro. MIT Press, 1994 (2nd ed).
-a-a-a-a-a-a-a-a-a-a + "The Craft of Prolog". Richard A. O'Keefe. MIT Press,
1990.
-a-a-a Logic programming theory
-a-a-a-a-a-a-a-a-a-a + "Foundations of Logic Programming". John Lloyd. >>>> -a-a-a-a-a-a-a-a-a-a-a-a Springer-Verlag, 1988 (2nd ed).
-a-a-a-a-a-a-a-a-a-a + "Logic, Programming and Prolog". Ulf Nilsson and Jan
-a-a-a-a-a-a-a-a-a-a-a-a Maluszynski. Originally published by John Wiley & Sons Ltd
-a-a-a-a-a-a-a-a-a-a-a-a (2nd ed. 1995) and now available without charge from
-a-a-a-a-a-a-a-a-a-a-a-a http://www.ida.liu.se/~ulfni/lpp
-a-a-a Expert Systems
-a-a-a-a-a-a-a-a-a-a + "Building Expert Systems in Prolog". Dennis Merritt.
-a-a-a-a-a-a-a-a-a-a-a-a Springer-Verlag, 1989. HTML & PDF versions available from
-a-a-a-a-a-a-a-a-a-a-a-a http://www.amzi.com/ExpertSystemsInProlog
-a-a-a 9. Are there any WWW archives of comp.lang.prolog ?
-a-a-a Yes, there are: Google Groups has archives of
news://comp.lang.prolog/.
-a-a-a They can be found at
-a-a-a https://groups.google.com/forum/#!forum/comp.lang.prolog
-a-a-a 10. How can I get the ISO Prolog standard? Where can I go for more >>>> -a-a-a information about it?
-a-a-a You can obtain the approved international standards from your
national
-a-a-a member body or directly from ISO (http://www.iso.org).
-a-a-a The working group on Prolog standardisation is ISO/IEC
JTC1/SC22/WG17
-a-a-a (http://www.sju.edu/~jhodgson/wg17/).
-a-a-a Contacts:
-a-a-a-a-a-a-a-a-a-a + Convenor of WG17: Ulrich Neumerkel
-a-a-a-a-a-a-a-a-a-a-a-a (<ulrich@mips.complang.tuwien.ac.at>)
-a-a-a Further literature: "Prolog: The Standard (Reference manual)", P. >>>> -a-a-a Deransart, A. Ed-Dbali, L. Cervoni, Springer Verlag (1996). Extra >>>> -a-a-a information can be found on
-a-a-a http://pauillac.inria.fr/~deransar/prolog/docs.html
http://www-2.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/pr >>>> -a-a-a olog/doc/standard/ contains the December 1991 draft, the March 1993 >>>> -a-a-a draft, Michael Covington's summary of it, and Richard O'Keefe's >>>> 1984
-a-a-a Prolog standard draft.
-a-a-a http://www.complang.tuwien.ac.at/ulrich/iso-prolog/ ISO Prolog >>>> works
-a-a-a and related material by the convenor of WG17.
-a-a-a For questions about the standard, use this newsgroup or
Stackoverflow.
-a-a-a 11. How does the WAM (Warren Abstract Machine) work? How do I
write a
-a-a-a WAM-based compiler or a WAM emulator?
-a-a-a Reportedly the best tutorial is Hassan Ait-Kaci's book "Warren's >>>> -a-a-a Abstract Machine: A Tutorial Reconstruction" (MIT Press, 1991). The >>>> -a-a-a book is out of print, and available online at
-a-a-a http://wambook.sourceforge.net.
-a-a-a 12. Is there a WWW page on logic programming?
-a-a-a Yes, there is one by Jonathan Bowen; the URL is
-a-a-a http://www.afm.sbu.ac.uk/logic-prog/. He invites us to mail him at >>>> -a-a-a <jonathan.bowen@sbu.ac.uk> with any relevant information for
inclusion.
-a-a-a A collection of artifacts from logic programming languages
beginning
-a-a-a with Marseille Prolog is available from
-a-a-a http://www.softwarepreservation.org/projects/prolog/index.html
-a-a-a A large amount of Prolog code is available from the CMU AI
Repository:
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/0.htm >>>> -a-a-a l
-a-a-a Recently, Stackoverflow has become a valuable resource for Prolog >>>> -a-a-a questions and answers:
http://stackoverflow.com/questions/tagged/prolog
-a-a-a Another community resource is the #prolog IRC channel on
-a-a-a irc.libera.chat.
-a-a-a 13. Can I do Internet/WWW programming with Prolog?
-a-a-a Prolog is very suitable for this task. Several commercial and free >>>> -a-a-a implementations include special support for it. A page
specifically on
-a-a-a this topic (including some tutorials) is maintained at
-a-a-a http://www.clip.dia.fi.upm.es/lpnet/lpnet.html. A public-domain >>>> library
-a-a-a exists (PiLLoW) for several popular Prolog systems which helps >>>> in the
-a-a-a task. See: http://www.clip.dia.fi.upm.es/Software/pillow/
-a-a-a 14. Is there a WWW page with some tutorials on Prolog?
-a-a-a Beginner level:
-a-a-a-a-a-a-a-a-a-a + Adventure in Prolog:
-a-a-a-a-a-a-a-a-a-a-a-a http://www.amzi.com/AdventureInProlog/advfrtop.htm
-a-a-a-a-a-a-a-a-a-a + On-line guide to Prolog Programming:
-a-a-a-a-a-a-a-a-a-a-a-a http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html
-a-a-a-a-a-a-a-a-a-a + Prolog Programming, A First Course:
http://computing.unn.ac.uk/staff/cgpb4/prologbook/book.html
-a-a-a-a-a-a-a-a-a-a + Learn Prolog Now!: http://www.learnprolognow.org >>>>
-a-a-a Intermediate to advanced level:
-a-a-a-a-a-a-a-a-a-a + https://skolemmachines.org/ThePrologTutorial/
-a-a-a 15. How do I edit Prolog code?
-a-a-a Emacs and VIM ship with basic support for Prolog. A much
improved Emacs
-a-a-a mode is maintained by Stefan Bruda and available from
-a-a-a https://bruda.ca/emacs/prolog_mode_for_emacs
-a-a-a Logtalk ships with various editing services for many common
editors,
-a-a-a also usable for Prolog.
-a-a-a SWI Prolog has a built-in Emacs clone called PceEmacs. There are >>>> also
-a-a-a Emacs definitions that let you evaluate embedded queries:
-a-a-a https://www.metalevel.at/ediprolog/. An SWI Prolog programming
-a-a-a environment suitable for schools is available from
-a-a-a http://lernen.bildung.hessen.de/informatik/swiprolog/indexe.htm >>>>
-a-a-a A Prolog plug-in for the "Eclipse"-IDE is available from:
-a-a-a http://eclipse.ime.usp.br/projetos/grad/plugin-prolog/index.html >>>>
-a-a-a A sophisticated integrated editing and teaching environment with >>>> -a-a-a declarative debugging, termination analysis and many
visualisations is
-a-a-a available from http://www.complang.tuwien.ac.at/ulrich/gupu/
-a-a-a 16. How do I publish Prolog code?
-a-a-a Logtalk ships with support for various syntax highlighters, also >>>> usable
-a-a-a for Prolog. These include support for Pygments (used e.g. on
Trac and
-a-a-a GitHub), Rouge (use e.g. in GitLab), GeSHi (used e.g. on Wikis), >>>> minted
-a-a-a and texments LaTeX packages (e.g. source code listings), Google >>>> Code
-a-a-a Prettify, Source-highlight, Highlight, SyntaxHighlighter, and SHJS >>>> -a-a-a (JavaScript highlighter for e.g. web pages).
Acknowledgements
-a-a-a Thank you to all the people who helped put together the first
version
-a-a-a of this FAQ, and everyone who has contributed to it over the years. >>>> -a-a-a Special thanks to John Dowding for suggesting a good format for the >>>> -a-a-a list, and to Chris Moss, Dag Wahlberg, and Mark Kantrowitz for >>>> their
-a-a-a work on the Prolog Resource Guide.
-a-a-a Special thanks to Jamie Andrews, Dirk-Jan Faber and Remko
Troncon, who
-a-a-a have been maintaining and posting the FAQ in the past.
--- Synchronet 3.21a-Linux NewsLink 1.2