Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.prolog > #14195
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | comp.lang.prolog |
| Subject | Re: broken and insecure links (Was: comp.lang.prolog Frequently Asked Questions) |
| Date | 2024-09-20 10:42 +0200 |
| Message-ID | <vcjcgo$g1tk$2@solani.org> (permalink) |
| References | <18c37160924.070003@logic.at> <vcja71$df34$1@solani.org> <vcjcco$g1tk$1@solani.org> |
Using a HTTPS link then further prevents that
the .tar download gets tampered , like
injecting a virus etc..
Mild Shock schrieb:
> Why should HTTP to HTTPS promotion be avoided, because
> theoretically a HTTP url can be more easily
> intercepted than a HTTPS url, so when I enter:
>
> http://web.sfc.keio.ac.jp/~mukai/pac-1.9.8.tgz
>
> It could be redirected to:
>
> https://www.explosive.pager/
>
> So its better to have directly HTTPS links everywhere.
> I guess this should also hold for packs. For example
> @kuniaki.mukai gave me this HTTP link, and the
>
> SWI-Prolog package manager allowed to use it:
>
> > How about this, which was the only way for
> > me to install the latest pac.
> > ?- pack_install(pac,
> [url('http://web.sfc.keio.ac.jp/~mukai/pac-1.9.8.tgz')]).
>
> I was more expecting a HTTPS link.
>
> Mild Shock schrieb:
>>
>> Link is broken, i.e. 404 error etc.:
>>
>> http://www.amzi.com/download/
>> http://www.probp.com/
>> http://www.ifcomputer.de/Products/Prolog/
>> http://www.lpa.co.uk/ind_dow.htm
>> http://www.cs.tcd.ie/open-prolog/
>> http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html
>> http://www.dobrev.com/
>> https://github.com/Peter-Gabel/ArityProlog32
>> http://www.mercury.cs.mu.oz.au/index.html
>> http://www.amzi.com/ExpertSystemsInProlog
>> http://www.sju.edu/~jhodgson/wg17/
>> http://wambook.sourceforge.net
>> http://www.afm.sbu.ac.uk/logic-prog/
>> http://computing.unn.ac.uk/staff/cgpb4/prologbook/book.html
>> http://lernen.bildung.hessen.de/informatik/swiprolog/indexe.htm
>>
>> Link should be HTTPS, avoid expensive and brittle redirect:
>>
>> http://www.metalevel.at/prolog/faq/
>> http://www.info.ucl.ac.be/people/PVR/aquarius.html
>> http://sourceforge.net/projects/cs-prolog/
>> http://ciao-lang.org
>> http://ctp.di.fct.unl.pt/~amd/cxprolog/
>> http://eclipseclp.org
>> http://www.gprolog.org/
>> http://www.jiprolog.com/
>> http://www.cs.bham.ac.uk/research/poplog/freepoplog.html
>> http://www.cs.bham.ac.uk/research/poplog/poplog.info.html
>> http://www.swi-prolog.org
>> http://tau-prolog.org/
>> http://www.visual-prolog.com
>> http://xgp.sourceforge.net/
>> http://alsprolog.com
>> http://www.amzi.com
>> http://www.clip.dia.fi.upm.es/Software
>> http://www.cosytec.com
>> http://eclipseclp.org
>> http://www.gprolog.org/
>> http://www.lpa.co.uk/
>> http://quintus.sics.se
>> http://www.sics.se/sicstus
>> http://www.sics.se/isl/sicstuswww/site/community.html
>> http://www.visual-prolog.com/
>> http://mozart.github.io/
>> http://logtalk.org/
>> http://www.iso.org
>> http://www.deransart.fr//prolog/docs.html
>> http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/prolog/doc/standard/
>>
>> http://www.complang.tuwien.ac.at/ulrich/iso-prolog/
>> http://www.softwarepreservation.org/projects/prolog/index.html
>> http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/0.html
>> http://stackoverflow.com/questions/tagged/prolog
>> http://www.clip.dia.fi.upm.es/lpnet/lpnet.html
>> http://www.clip.dia.fi.upm.es/Software/pillow/
>> http://www.amzi.com/AdventureInProlog/advfrtop.htm
>> http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html
>> http://eclipse.ime.usp.br/projetos/grad/plugin-prolog/index.html
>> http://www.complang.tuwien.ac.at/ulrich/gupu/
>>
>> Disclaimer, migration to HTTPS is not possible
>> for all links, if the server does not yet support
>> HTTPS. It is recommended that all pointed to servers
>>
>> migrate to HTTPS, if they didn't do yet. Also some
>> of the servers didn't have automatic HTTP to HTTPS
>> promotion enabled, which causes also problems.
>>
>> Example error in modern browsers, take this link:
>>
>> http://www.amzi.com/ExpertSystemsInProlog
>>
>> Chrome shows me this error:
>>
>> ExpertSystemsInProlog/:1 Mixed Content: The page at
>> 'https://www.amzi.com/ExpertSystemsInProlog/' was loaded over HTTPS,
>> but requested an insecure script
>> 'http://www.google.com/cse/brand?form=cse-search-box&lang=en'. This
>> request has been blocked;
>> the content must be served over HTTPS.
>>
>> So the embedded image doesn't show. This is
>> a case of a server that has HTTPS, but the pages
>> were not updated to HTTPS. for example the image links
>> in it were not updated. Or the server does not have
>> automatic HTTP to HTTPS promotion enabled.
>>
>> Again not so much a problem of the FAQ, but
>> of the pointed to server. But if the FAQ would
>> have https everywhere it would be clearer what
>> the modern policy is on the web.
>>
>> Markus Triska schrieb:
>>> Frequently Asked Questions - comp.lang.prolog
>>>
>>> Last-modified: 2022-02-24
>>> 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)
>>> __________________________________________________________________
>>>
>>> General Information: This article contains the answers to some
>>> Frequently Asked Questions (FAQ) often seen in
>>> news://comp.lang.prolog/. It is posted (twice a month,
>>> currently on
>>> the 2nd and 16th) to help reduce volume in this newsgroup and to
>>> provide hard-to-find information of general interest.
>>>
>>> The World Wide Web URL for this FAQ is:
>>> http://www.logic.at/prolog/faq/
>>>
>>> Please send questions about the FAQ and updates to
>>> <triska@logic.at>.
>>>
>>> 1. What is the Association for Logic Programming?
>>>
>>> To keep up with the current state of logic programming technology,
>>> readers can join the Association for Logic Programming (ALP) and
>>> receive their Newsletter. For details on how to join or send in
>>> contributions, check http://www.cs.nmsu.edu/ALP/ or contact
>>>
>>> Sandro Etalle <etalle@cs.utwente.nl>
>>>
>>> The Prolog Resource Guide (v0.6) was printed in issue 5/1 of the
>>> Newsletter (Feb. 1992). This lists information concerning Prolog
>>> Archives, Books, Suppliers, etc. It is now maintained by Mark
>>> Kantrowitz (<Mark.Kantrowitz@glinda.oz.cs.cmu.edu>), and used to be
>>> posted periodically to news://comp.lang.prolog.
>>>
>>> 2. Where can I get a free Prolog for system X (PC, Mac, Unix or
>>> other)?
>>>
>>> The following are anonymous-FTP sites for free Prologs (or related
>>> languages) which are either in the public domain or are
>>> "copy-lefted"
>>> (permitted to be copied with some restrictions on commercial use).
>>>
>>> (Please note that for extensive development work, users will
>>> probably
>>> want a robust interpreter or compiler with good debugging facilities
>>> and a standard syntax, among other things. While public-domain
>>> systems
>>> are a valuable service to the community, they do not necessarily
>>> have
>>> all these things, and users should weigh carefully what they want
>>> to do
>>> against the capabilities and costs of the available systems.)
>>>
>>> ALF (Algebraic Logic Functional language)
>>>
>>> + Platforms: UNIX
>>> + Available: Unknown
>>> + E-mail: Rudolf Opalla
>>> <opalla@julien.informatik.uni-dortmund.de>
>>> + Info: WAM-based language with narrowing/rewriting
>>>
>>> Amzi! Prolog + Logic Server
>>>
>>> + Platforms: Window, Linux and Solaris
>>> + Available: http://www.amzi.com/download/
>>> + E-mail: <info@amzi.com>
>>> + Info: Registration is compulsory, except for the Free
>>> Academic/Personal/Evaluation License.
>>>
>>> Aquarius Prolog 1.0
>>>
>>> + Platforms: UNIX
>>> + Available:
>>> http://www.info.ucl.ac.be/people/PVR/aquarius.html
>>> + Info: High performance, commercial functionality except
>>> debugging and modules.
>>>
>>> Argo Prolog v.1.1
>>>
>>> + Platforms: Solaris 1.x and HP-UX 9.x
>>> + Available: Unknown
>>> + Contact: Takao Doi <doi@csk.co.jp>
>>>
>>> Arity/Prolog32
>>>
>>> + Platforms: Win32
>>> + Available: https://github.com/Peter-Gabel/ArityProlog32
>>> + Info: Arity/Prolog32 provides a complete Prolog programming
>>> environment in which you can write, debug, and run Prolog
>>> programs in 32-bit Windows environments (95/98/NT/2000).
>>> Arity/Prolog32 is a powerful, highly optimized, and
>>> extended
>>> version of the logic programming language Prolog.
>>> Arity/Prolog32 is a complete compiler and interpreter
>>> written
>>> in Prolog, C, and Assembly language and is a superset of
>>> Clocksin and Mellish Prolog.
>>>
>>> B-Prolog 8.1
>>>
>>> + Platforms: Win32, Solaris, SunOS, UNIX, FreeBSD and Linux
>>> + Available: http://www.probp.com/
>>> + E-mail: Neng-Fa Zhou <support@probp.com>
>>> + Info: Free of charge for individual users.
>>>
>>> BinProlog 7.0
>>>
>>> + Platforms: Windows 95/98/NT, Linux and all major Unix
>>> platforms.
>>> + Available: https://code.google.com/archive/p/binprolog/
>>> + Info: Download free evaluation copies and see online demos.
>>> Inexpensive Educational licensing available.Has built-in
>>> networking, multi-threading, mobile code and distributed
>>> blackboards. Supports BinNet Internet Programming Tool kit.
>>>
>>> Brain Aid Prolog (BAP) v1.4
>>>
>>> + Platforms: Transputer systems
>>> + Info: BAP is a parallel prolog system for Transputer
>>> systems.
>>> Available under a Berkely style of copyright.
>>>
>>> C#Prolog
>>>
>>> + Platforms: Win32, UNIX
>>> + Available: http://sourceforge.net/projects/cs-prolog/
>>> + E-mail: John Pool <j.pool@ision.nl>
>>> + Info: A Prolog interpreter written in C#. Can easily be
>>> integrated in C# programs. Characteristics: reliable and
>>> quite
>>> fast beta version, command line interface, builtin DCG,
>>> XML-predicates, persistent predicates (using Firebird
>>> RDBMS),
>>> extendible.
>>>
>>> Ciao 1.4
>>>
>>> + Platforms: Linux, Win32 (95/98/NT), Solaris, SunOS, UNIX in
>>> general.
>>> + Available: http://ciao-lang.org
>>> + E-mail: Developers <ciao@clip.dia.fi.upm.es>, Users
>>> <ciao-users@clip.dia.fi.upm.es>
>>> + Info: Next generation LP/CLP system. Commercial
>>> functionality,
>>> but freely available w/source. ISO-Prolog + modules,
>>> networking, multi-threading, clp(r), clp(q), interfaces
>>> (Java,
>>> C, tcltk, WWW, databases/ODBC, ...), functions,
>>> higher-order,
>>> records, persistence, objects, assertions (types, modes,
>>> ...),
>>> source debugger, auto-documenter, static debugger, and
>>> more.
>>>
>>> clp(FD)
>>>
>>> + Platforms: UNIX
>>> + Contact: Daniel Diaz <daniel.diaz@inria.fr>
>>> + Info: Constraint logic programming over finite domains.
>>> Requires GNU C v.2.4.5 or higher.
>>>
>>> clp(FD,S)
>>>
>>> + Platforms: UNIX
>>> + Contact: Yan Georget <Yan.Georget@inria.fr>
>>> + Info: Requires GNU C (gcc) version 2.4.5. or higher.
>>>
>>> CLP(R)
>>>
>>> + Platforms: UNIX
>>> + Available: E-mail request from Joxan Jaffar
>>> <joxan@watson.ibm.com>.
>>> + Info: Constraint logic programming language, for
>>> academic and
>>> research purposes only.
>>>
>>> CxProlog
>>>
>>> + Platforms: UNIX, MacOS X, Windows
>>> + Available: http://ctp.di.fct.unl.pt/~amd/cxprolog/
>>> + Info: Open source (GPL) implementation supporting Unicode,
>>> threads, sockets, processes, contexts, imperative data
>>> structures, and interfaces with C/C++, Java, and wxWidgets
>>> + Contact: Artur Miguel Dias <amd@fct.unl.pt>
>>>
>>> ECLiPSe Constraint Logic Programming System, subsuming Prolog.
>>>
>>> + Platforms: Solaris, Linux, Linux/Alpha, Mac OS X, Windows
>>> + Available: http://eclipseclp.org or
>>> http://www.sourceforge.net/projects/eclipse-clp
>>> + Info: ECLiPSe is a Prolog and Constraint Programming
>>> platform
>>> with a long history and has been open-source since Sept
>>> 2006.
>>> + License: MPL
>>>
>>> IF Prolog V5.3
>>>
>>> + Platforms: Windows 95/98/NT/2000/XP, Linux, Solaris, AIX,
>>> HP-UX and other UNIX platforms
>>> + Available: http://www.ifcomputer.de/Products/Prolog/
>>> + E-mail: <info@ifcomputer.de>
>>> + Info: IF Prolog is a commercial Prolog system with
>>> interfaces
>>> to C/C++, Java, sockets, Windows events and a COM
>>> servers. A
>>> graphical debugger allows step-forward, step backward
>>> debugging of Prolog code. A static module concept allows
>>> many
>>> additional errors to be detected at compile time.
>>> Constraint
>>> Programming (for finite domains, intervals and booleans
>>> using
>>> global constraints and linear optimisation).
>>> + License: Free evaluation copies and inexpensive educational
>>> licensing available.
>>>
>>> GNU Prolog
>>>
>>> + Platforms: Many Unixes, Windows, MacOS X
>>> + Available: http://www.gprolog.org/
>>> + E-mail: Daniel Diaz <daniel.diaz@inria.fr>
>>>
>>> Jinni 2.27
>>>
>>> + Platforms: Java-based
>>> + Available: https://github.com/heathmanb/JinniProlog
>>> + Info: Multi-threaded, Java based Prolog interpreter with
>>> built-in networking, distributed blackboards and mobile
>>> code
>>> (inexpensive shareware licensing available).
>>>
>>> JIProlog
>>>
>>> + Platforms: Java-based
>>> + Available: http://www.jiprolog.com/
>>> + Info: Java Internet Prolog is a cross-platform pure Java
>>> 100%
>>> prolog interpreter that supplies Java world with the
>>> power of
>>> prolog language and provides prolog language with a
>>> technology
>>> to implement new predicates in Java.
>>>
>>> KLIC
>>>
>>> + Platforms: UNIX
>>> + Info: ICOT Free Software. Concurrent logic programming.
>>> Tested
>>> on Sparcs, DEC 7000, Gateway P5-60.
>>> + Contact: <ifs@icot.or.jp>
>>>
>>> LPA Win-Prolog, demo version
>>>
>>> + Platforms: Windows
>>> + Available: Available from http://www.lpa.co.uk/ind_dow.htm
>>>
>>> MINERVA
>>>
>>> + Platforms: Java
>>> + Info: Proprietary commercial ISO-Prolog Compiler in 100%
>>> Java
>>> support for web programming, XML, servlets, applets,
>>> standalones. Free evaluation license.
>>>
>>> Modular SB-Prolog (= SB-Prolog version 3.1 plus modules)
>>>
>>> + Platforms: SPARC, DECstation, MIPS, HP 9000 series, Sun 3.
>>> + Info: Copy-lefted.
>>>
>>> Open Prolog
>>>
>>> + Platforms: Apple Macintosh
>>> + Available: http://www.cs.tcd.ie/open-prolog/
>>> + E-mail: <brady@cs.tcd.ie>. (Michael Brady).
>>>
>>> Poplog Prolog
>>>
>>> + Platforms: Various Unixes, including Sun, Dec Alpha, HP and
>>> many others. Also a Win32 version is available. Sources
>>> available for other combinations.
>>> + Available: At the Free Poplog Web/FTP site, including full
>>> sources
>>> http://www.cs.bham.ac.uk/research/poplog/freepoplog.html
>>> + E-mail: queries may be posted to news://comp.lang.pop/,
>>> or to
>>> <pop-forum@cs.bham.ac.uk> or <A.Sloman@cs.bham.ac.uk> (Last
>>> resort!)
>>> + Info: Robust incremental compiler, part of the
>>> multi-language
>>> Poplog system (including Common Lisp, Pop-11 and
>>> Standard ML).
>>> Unix, Linux & VMS versions include full support for X
>>> window
>>> facilities/Motif. More information at
>>> http://www.cs.bham.ac.uk/research/poplog/poplog.info.html
>>> Licence modelled on XFree86. Can be freely distributed,
>>> though
>>> copyright is owned by Sussex University and ISL.
>>>
>>> PIE2
>>>
>>> + Platforms: Unknown
>>> + Available: On CompuServe in the AIEXPERT forum, interpreter
>>> and examples in PIE2.ZIP, documentation in PIEDOC.ZIP.
>>> + E-mail: Brent Ruggles <ruggles@shell.com>
>>>
>>> QuProlog
>>>
>>> + Platforms: UNIX, Linux, beta for MAC
>>> + Available:
>>> http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html
>>> + E-mail: <pjr@itee.uq.edu.au>
>>> + Info: Extended WAM with support for quantifiers and
>>> substitutions, multi-threaded, high-level communication.
>>>
>>> Scryer Prolog
>>>
>>> + Platforms: Unix, Linux, Windows and Mac
>>> + Available: https://github.com/mthom/scryer-prolog
>>> + Info: A modern Prolog system written mostly in Rust.
>>>
>>> Strawberry Prolog
>>>
>>> + Platforms: Windows 95/NT, plans for UNIX and Macintosh
>>> + Available: http://www.dobrev.com/
>>> + E-mail: <dimiter@dobrev.com>
>>>
>>> SWI Prolog
>>>
>>> + Platforms: Binaries for Linux, Windows
>>> (NT/2000/XP/Vista) and
>>> Mac OS X (darwin). Sources: ANSI-C, both 32 and 64-bit
>>> machines, compiles on almost all Unix systems and more.
>>> + Available: http://www.swi-prolog.org
>>> + Info: Complete, ISO and Edinburgh standard, common
>>> optimizations, GC including atoms. Portable graphics,
>>> multiple
>>> threads, constraints, comprehensive libraries for
>>> (semantic)
>>> web programming, Unicode, source-level debugger, advanced
>>> syntax colouring
>>> + License: Simplified BSD. Run license/0 for more
>>> information.
>>>
>>> Tau Prolog
>>>
>>> + Platforms: Web-based
>>> + Available: http://tau-prolog.org/
>>> + Info: An open source Prolog interpreter in JavaScript.
>>>
>>> Trinc-Prolog
>>>
>>> + Platforms: Windows 95/98/NT 4.0, plans for Windows 2000,
>>> Linux
>>> and Sun Solaris
>>> + E-mail: <info@trinc-prolog.com>
>>>
>>> Visual Prolog
>>>
>>> + Platforms: Win32
>>> + Available: http://www.visual-prolog.com
>>> + Info: Includes all the facilities necessary to write
>>> mission
>>> critical commercial-grade applications. Fully visual
>>> development environment. Open architecture.
>>> Object-oriented.
>>> Built-in database system and ODBC support. Visual Prolog
>>> Personal Edition is available on a freeware license.
>>>
>>> wamcc
>>>
>>> + Platforms: UNIX
>>> + Info: Compiler which translates Prolog to C via WAM.
>>> Debuggers. Requires GNU C v.2.4.5 or higher.
>>> + Contact: Daniel Diaz <daniel.diaz@inria.fr>
>>>
>>> XGP
>>>
>>> + Platforms: Apple Macintosh OS X, 10.2.3+
>>> + Available: http://xgp.sourceforge.net/
>>> + Info: XGP is an open source (GPL) integrated development
>>> environment with user interface and graphics support
>>> based on
>>> gprolog and Cocoa under Macintosh OS X.
>>>
>>> XSB
>>>
>>> + Platforms: Many, including SunOS, Linux and Windows
>>> + Available: http://xsb.sourceforge.net/
>>> + E-mail: <xsb-users@lists.sourceforge.net>
>>> + Info: system with SLG-resolution, HiLog syntax, and
>>> unification factoring.
>>>
>>> Yap
>>>
>>> + Platforms: UNIX-based platforms and Windows
>>> + Available: https://github.com/vscosta/yap-6.3
>>> + E-mail: Vitor Santos Costa <vsc@ncc.up.pt>
>>> + Info: Yap is entirely written in C and Prolog and should be
>>> portable to most 32-bit and 64-bit Unix based platforms. A
>>> Windows port is also available. Yap4.2 is distributed under
>>> Perl's artistic license and can be freely distributed.
>>>
>>> 3. What commercial systems are available? What about systems
>>> available
>>> for a price from research institutions?
>>>
>>> Many commercial systems are listed in the Prolog Resource Guide. The
>>> Resource Guide also lists many systems which are not exactly
>>> "commercial", but available for a price from research
>>> institutions. The
>>> list of such systems was originally compiled by Chris Moss, of
>>> Imperial
>>> College. The rest of the Resource Guide was originally compiled
>>> by Dag
>>> Wahlberg, of Uppsala University.
>>>
>>> The Prolog Resource Guide hasn't been updated lately, but
>>> nevertheless
>>> 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.
>>>
>>> 4. How do I get in touch with my Prolog's users' group, sales
>>> representative, or technical support line?
>>>
>>> Here are some e-mail addresses of these contacts, listed
>>> alphabetically
>>> by company or major product name.
>>>
>>> ALS (Applied Logic Systems)
>>>
>>> + Web site: http://alsprolog.com
>>>
>>> Amzi! inc.
>>>
>>> + Web site: http://www.amzi.com
>>> + Information: <info@amzi.com>
>>> + Sales: <sales@amzi.com>
>>> + Support: <support@amzi.com>
>>>
>>> Arity/Prolog32
>>>
>>> + Web site: https://github.com/Peter-Gabel/ArityProlog32
>>>
>>> Ciao, PiLLoW, WebDB, etc.
>>>
>>> + Web site: http://www.clip.dia.fi.upm.es/Software
>>> + Users' group: <ciao-users@clip.dia.fi.upm.es>
>>> + Information: <ciao@clip.dia.fi.upm.es>
>>> + Tech support: <ciao-bugs@clip.dia.fi.upm.es>
>>>
>>> COSYTEC (CHIP V5)
>>>
>>> + Web site: http://www.cosytec.com
>>> + Information: <info@cosytec.com> (or .fr)
>>> + Tech Support: <support@cosytec.com> (or .fr)
>>>
>>> ECLiPSe
>>>
>>> + Web site: http://eclipseclp.org
>>> + Users' group: <eclipse-clp-users@lists.sf.net>
>>> + Tech support: <http://eclipseclp.org/bugs.html>
>>> + Support contracts: <info@coninfer.com>
>>>
>>> Expert Systems Ltd. (Prolog-2)
>>>
>>> + Sales: <sales@expert.demon.co.uk>
>>> + Support: <support@expert.demon.co.uk>
>>> + Users' group: <prolog2-request@hplb.hpl.hp.com>
>>>
>>> GNU Prolog
>>>
>>> + Web site: http://www.gprolog.org/
>>> + Users' group: <users-prolog-request@gnu.org>
>>> + Bug reports: <bug-prolog@gnu.org>
>>>
>>> LPA
>>>
>>> + Web site: http://www.lpa.co.uk/
>>> + Sales: <sales@lpa.co.uk>
>>> + Tech support: <support@lpa.co.uk>
>>>
>>> MasterProLog
>>>
>>> + Formerly BIM ProLog
>>>
>>> PDC Prolog
>>>
>>> + PDC Prolog is the succesor to Turbo Prolog and the
>>> predecessor
>>> to Visual Prolog.
>>>
>>> ProLog by BIM
>>>
>>> + Currently MasterProLog
>>>
>>> Quintus
>>>
>>> + Web site: http://quintus.sics.se
>>> + Mailing list: see
>>> http://www.sics.se/isl/quintuswww/site/community.html
>>> + Sales: <qpsales@sics.se>
>>> + Tech support: <qpsupport@sics.se>
>>>
>>> SICStus
>>>
>>> + Web page: http://www.sics.se/sicstus
>>> + Mailing list: see
>>> http://www.sics.se/isl/sicstuswww/site/community.html
>>> + Sales: <sicstus-request@sics.se>
>>> + Tech support: <sicstus-support@sics.se>
>>>
>>> Trinc / Trinc-Prolog
>>>
>>> + Information: <info@trinc-prolog.com>
>>> + Sales: <sales@trinc-prolog.com>
>>> + Support: <support@trinc-prolog.com>
>>>
>>> Turbo Prolog
>>>
>>> + Turbo Prolog is the predecessor of PDC Prolog (see above).
>>>
>>> Visual Prolog
>>>
>>> + Web site: http://www.visual-prolog.com/
>>> + Information: <sales@pdc.dk> (or <sales@visual-prolog.com>)
>>> + Sales: <sales@pdc.dk> (or <sales@visual-prolog.com>)
>>> + Tech support: <support@pdc.dk> (or
>>> <support@visual-prolog.com>)
>>>
>>> 5. I think language X is better than Prolog. What do you think?
>>>
>>> These debates rarely result in any productive discussion. To some
>>> extent, one's favourite language is based on irrational ideology.
>>>
>>> However, many people now agree that different languages are good for
>>> different things. Prolog seems to be good for problems in which
>>> logic
>>> is intimately involved, or whose solutions have a succinct logical
>>> characterization. Like other interactive, symbolic languages,
>>> Prolog is
>>> also good for rapid prototyping.
>>>
>>> Also, note that there are many different "Prologs" and other logic
>>> programming languages available, all with different capabilities.
>>>
>>> 6. What are the recent developments?
>>>
>>> There are some languages in development which do not have Prolog
>>> syntax, but do subsume and generalize Prolog's logic programming
>>> abilities.
>>>
>>> Mercury
>>>
>>> + Web site: http://www.mercury.cs.mu.oz.au/index.html
>>>
>>> The Mozart Consortium:
>>>
>>> + Web site: http://mozart.github.io/
>>> + Mailing lists: <http://mozart.github.io/mailing-lists/>
>>>
>>> Some other languages bring new developments while also supporting
>>> Prolog syntax and functionality as an option:
>>>
>>> Ciao
>>>
>>> + Web site: http://www.clip.dia.fi.upm.es/Software
>>> + Users' group: <ciao-users@clip.dia.fi.upm.es>
>>> + Information: <ciao@clip.dia.fi.upm.es>
>>> + Tech support: <ciao-bugs@clip.dia.fi.upm.es>
>>>
>>> Logtalk
>>>
>>> + Web site: http://logtalk.org/
>>> + E-mail: Paulo Moura <pmoura@logtalk.org>
>>> + Info: Open source object-oriented extension to Prolog
>>> compatible with most Prolog compilers.
>>>
>>> 7. My Prolog prof assigned me this problem. Can you help me with it?
>>>
>>> If your instructor assigned it to you, he or she probably wanted
>>> you to
>>> do it yourself. If it's an introductory Prolog course, your question
>>> might be elementary to most readers, so it might be a waste of
>>> network
>>> resources to ask it. Please ask your instructor, a friend, a
>>> teaching
>>> assistant, or a local newsgroup for help first.
>>>
>>> That being said, there are news://comp.lang.prolog/ readers who
>>> would
>>> be glad to help people making a legitimate attempt to learn Prolog.
>>>
>>> 8. Can you suggest some books on Prolog?
>>>
>>> The Prolog Resource Guide (see above) contains a listing of Prolog
>>> books. It is maintained by Mark Kantrowitz
>>> (<Mark.Kantrowitz@glinda.oz.cs.cmu.edu>), and posted periodically on
>>> news://comp.lang.prolog.
>>>
>>> Here are some of the most popular books on Prolog.
>>>
>>> Introductory
>>>
>>> + "Programming In Prolog". William F. Clocksin and
>>> Christopher
>>> S. Mellish. Springer-Verlag, 2003 (5th ed).
>>> + "Prolog for Programmers". Feliks Kluzniak and Stanislaw
>>> Szpakowicz. Academic Press, London, 1985, now available
>>> without charge from
>>> https://sites.google.com/site/prologforprogrammers/
>>> + "Prolog Programming for Artificial Intelligence". Ivan
>>> Bratko.
>>> Addison-Wesley, 2001 (3rd ed).
>>>
>>> Advanced
>>>
>>> + "The Art of Prolog: Advanced Programming Techniques". Leon
>>> Sterling and Ehud Shapiro. MIT Press, 1994 (2nd ed).
>>> + "The Craft of Prolog". Richard A. O'Keefe. MIT Press, 1990.
>>>
>>> Logic programming theory
>>>
>>> + "Foundations of Logic Programming". John Lloyd.
>>> Springer-Verlag, 1988 (2nd ed).
>>> + "Logic, Programming and Prolog". Ulf Nilsson and Jan
>>> Maluszynski. Originally published by John Wiley & Sons Ltd
>>> (2nd ed. 1995) and now available without charge from
>>> http://www.ida.liu.se/~ulfni/lpp
>>>
>>> Expert Systems
>>>
>>> + "Building Expert Systems in Prolog". Dennis Merritt.
>>> Springer-Verlag, 1989. HTML & PDF versions available from
>>> http://www.amzi.com/ExpertSystemsInProlog
>>>
>>> 9. Are there any WWW archives of comp.lang.prolog ?
>>>
>>> Yes, there are: Google Groups has archives of
>>> news://comp.lang.prolog/.
>>> They can be found at
>>> https://groups.google.com/forum/#!forum/comp.lang.prolog
>>>
>>> 10. How can I get the ISO Prolog standard? Where can I go for more
>>> information about it?
>>>
>>> You can obtain the approved international standards from your
>>> national
>>> member body or directly from ISO (http://www.iso.org).
>>>
>>> The working group on Prolog standardisation is ISO/IEC
>>> JTC1/SC22/WG17
>>> (http://www.sju.edu/~jhodgson/wg17/).
>>>
>>> Contacts:
>>>
>>> + Convenor of WG17: Ulrich Neumerkel
>>> (<ulrich@mips.complang.tuwien.ac.at>)
>>>
>>> Further literature: "Prolog: The Standard (Reference manual)", P.
>>> Deransart, A. Ed-Dbali, L. Cervoni, Springer Verlag (1996). Extra
>>> information can be found on
>>> http://pauillac.inria.fr/~deransar/prolog/docs.html
>>>
>>> http://www-2.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/pr
>>> olog/doc/standard/ contains the December 1991 draft, the March 1993
>>> draft, Michael Covington's summary of it, and Richard O'Keefe's 1984
>>> Prolog standard draft.
>>>
>>> http://www.complang.tuwien.ac.at/ulrich/iso-prolog/ ISO Prolog works
>>> and related material by the convenor of WG17.
>>>
>>> For questions about the standard, use this newsgroup or
>>> Stackoverflow.
>>>
>>> 11. How does the WAM (Warren Abstract Machine) work? How do I
>>> write a
>>> WAM-based compiler or a WAM emulator?
>>>
>>> Reportedly the best tutorial is Hassan Ait-Kaci's book "Warren's
>>> Abstract Machine: A Tutorial Reconstruction" (MIT Press, 1991). The
>>> book is out of print, and available online at
>>> http://wambook.sourceforge.net.
>>>
>>> 12. Is there a WWW page on logic programming?
>>>
>>> Yes, there is one by Jonathan Bowen; the URL is
>>> http://www.afm.sbu.ac.uk/logic-prog/. He invites us to mail him at
>>> <jonathan.bowen@sbu.ac.uk> with any relevant information for
>>> inclusion.
>>>
>>> A collection of artifacts from logic programming languages beginning
>>> with Marseille Prolog is available from
>>> http://www.softwarepreservation.org/projects/prolog/index.html
>>>
>>> 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
>>> l
>>>
>>> Recently, Stackoverflow has become a valuable resource for Prolog
>>> questions and answers:
>>> http://stackoverflow.com/questions/tagged/prolog
>>>
>>> Another community resource is the #prolog IRC channel on
>>> irc.libera.chat.
>>>
>>> 13. Can I do Internet/WWW programming with Prolog?
>>>
>>> Prolog is very suitable for this task. Several commercial and free
>>> implementations include special support for it. A page
>>> specifically on
>>> this topic (including some tutorials) is maintained at
>>> http://www.clip.dia.fi.upm.es/lpnet/lpnet.html. A public-domain
>>> library
>>> exists (PiLLoW) for several popular Prolog systems which helps in
>>> the
>>> task. See: http://www.clip.dia.fi.upm.es/Software/pillow/
>>>
>>> 14. Is there a WWW page with some tutorials on Prolog?
>>>
>>> Beginner level:
>>>
>>> + Adventure in Prolog:
>>> http://www.amzi.com/AdventureInProlog/advfrtop.htm
>>> + On-line guide to Prolog Programming:
>>> http://kti.ms.mff.cuni.cz/~bartak/prolog/index.html
>>> + Prolog Programming, A First Course:
>>> http://computing.unn.ac.uk/staff/cgpb4/prologbook/book.html
>>> + Learn Prolog Now!: http://www.learnprolognow.org
>>>
>>> Intermediate to advanced level:
>>>
>>> + https://skolemmachines.org/ThePrologTutorial/
>>>
>>> 15. How do I edit Prolog code?
>>>
>>> Emacs and VIM ship with basic support for Prolog. A much improved
>>> Emacs
>>> mode is maintained by Stefan Bruda and available from
>>> https://bruda.ca/emacs/prolog_mode_for_emacs
>>>
>>> Logtalk ships with various editing services for many common editors,
>>> also usable for Prolog.
>>>
>>> SWI Prolog has a built-in Emacs clone called PceEmacs. There are
>>> also
>>> Emacs definitions that let you evaluate embedded queries:
>>> https://www.metalevel.at/ediprolog/. An SWI Prolog programming
>>> environment suitable for schools is available from
>>> http://lernen.bildung.hessen.de/informatik/swiprolog/indexe.htm
>>>
>>> A Prolog plug-in for the "Eclipse"-IDE is available from:
>>> http://eclipse.ime.usp.br/projetos/grad/plugin-prolog/index.html
>>>
>>> A sophisticated integrated editing and teaching environment with
>>> declarative debugging, termination analysis and many
>>> visualisations is
>>> available from http://www.complang.tuwien.ac.at/ulrich/gupu/
>>>
>>> 16. How do I publish Prolog code?
>>>
>>> Logtalk ships with support for various syntax highlighters, also
>>> usable
>>> for Prolog. These include support for Pygments (used e.g. on Trac
>>> and
>>> GitHub), Rouge (use e.g. in GitLab), GeSHi (used e.g. on Wikis),
>>> minted
>>> and texments LaTeX packages (e.g. source code listings), Google Code
>>> Prettify, Source-highlight, Highlight, SyntaxHighlighter, and SHJS
>>> (JavaScript highlighter for e.g. web pages).
>>>
>>> Acknowledgements
>>>
>>> Thank you to all the people who helped put together the first
>>> version
>>> of this FAQ, and everyone who has contributed to it over the years.
>>> Special thanks to John Dowding for suggesting a good format for the
>>> list, and to Chris Moss, Dag Wahlberg, and Mark Kantrowitz for their
>>> work on the Prolog Resource Guide.
>>>
>>> Special thanks to Jamie Andrews, Dirk-Jan Faber and Remko
>>> Troncon, who
>>> have been maintaining and posting the FAQ in the past.
>>>
>>
>
Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
comp.lang.prolog Frequently Asked Questions Markus Triska <triska@logic.at> - 2024-09-16 04:59 +0000
broken and insecure links (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2024-09-20 10:02 +0200
Re: broken and insecure links (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2024-09-20 10:39 +0200
Re: broken and insecure links (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2024-09-20 10:42 +0200
Re: broken and insecure links (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2024-09-20 10:59 +0200
Re: broken and insecure links (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2024-09-20 11:19 +0200
Re: comp.lang.prolog Frequently Asked Questions Mild Shock <janburse@fastmail.fm> - 2024-09-20 14:04 +0200
Re: comp.lang.prolog Frequently Asked Questions Mild Shock <janburse@fastmail.fm> - 2024-09-20 20:38 +0200
Re: comp.lang.prolog Frequently Asked Questions Mild Shock <janburse@fastmail.fm> - 2024-09-20 20:41 +0200
csiph-web