Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.prolog > #14535
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | comp.lang.prolog |
| Subject | Explore the Prolog exercises on Exercism [Substitute for rosettacode?] (Was: The Hawk Never Dies, but apparently this webpage did) |
| Date | 2025-06-02 15:19 +0200 |
| Message-ID | <101k8dr$a2hd$1@solani.org> (permalink) |
| References | <8c70a020625.070003@logic.at> <101jut5$9du7$1@solani.org> |
Hi, Maybe add this link to the FAQ: Explore the Prolog exercises on Exercism https://exercism.org/tracks/prolog Bye P.S.: Unfortunately this link is broken: https://rosettacode.org/wiki/Category:Prolog_Implementations ~~> DNS_PROBE_FINISHED_NXDOMAIN Mild Shock schrieb: > Broken Links in your FAQ: > > https://github.com/Peter-Gabel/ArityProlog32 ~~> > 404 Not Found > > https://www.amzi.com/download/ ~~> > 404 Not Found > > http://www.probp.com/ ~~> > Domain not owned by B-Prolog anymore > > http://www.ifcomputer.de/Products/Prolog/ ~~> > Domain not owned by IF computer anymore > > http://www.lpa.co.uk/ind_dow.htm ~~> > Domain not owned by LPA computer anymore > > http://www.cs.tcd.ie/open-prolog/ ~~> > Redirects to something else than Open-Prolog > > http://www.cs.bham.ac.uk/research/poplog/freepoplog.html > Redirects to something else than Free Poplog > > http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html > Redirects to something else than Free Qu-Prolog > > http://tau-prolog.org/ ~~> > net::ERR_CERT_COMMON_NAME_INVALID > > https://sites.google.com/site/prologforprogrammers/ ~~> > 404 Not Found > > https://www.sju.edu/~jhodgson/wg17/ > Redirects to something else than the WG17 Notes > > http://www.afm.sbu.ac.uk/logic-prog/ > DNS_PROBE_FINISHED_NXDOMAIN > > https://lernen.bildung.hessen.de/informatik/swiprolog/indexe.htm ~~> > 404 Not Found > > Not broken, but outdated: > > http://www.cs.nmsu.edu/ALP/ ~~> > Redirects to https://logicprogramming.org/ > > http://www.clip.dia.fi.upm.es/Software ~~> > Redirects to https://cliplab.org/Software/ > > 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> - 2025-06-02 04:59 +0000
The Hawk Never Dies, but apparently this webpage did (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2025-06-02 12:37 +0200
Explore the Prolog exercises on Exercism [Substitute for rosettacode?] (Was: The Hawk Never Dies, but apparently this webpage did) Mild Shock <janburse@fastmail.fm> - 2025-06-02 15:19 +0200
Add all the Dead Projects to PrologNexus (Was: The Hawk Never Dies, but apparently this webpage did) Mild Shock <janburse@fastmail.fm> - 2025-06-06 16:49 +0200
Compiler Explorer is an interactive compiler exploration website Mild Shock <janburse@fastmail.fm> - 2025-06-03 12:49 +0200
csiph-web