Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.prolog > #14987
| From | Mild Shock <janburse@fastmail.fm> |
|---|---|
| Newsgroups | comp.lang.prolog |
| Subject | Sleepy Joe SWI-Prolog still waiting for a PR (Was: Prolog can keep up with the AI Boom [Forget about CLAM]) |
| Date | 2025-11-12 01:26 +0100 |
| Message-ID | <10f0k8h$aoi3$1@solani.org> (permalink) |
| References | <fda96161124.070004@logic.at> <1050b9t$26p2f$1@solani.org> <1050bga$26p4p$1@solani.org> <1050c8d$26pg6$1@solani.org> |
Hi, How it started: =============== Sleepy Joe SWI-Prolog still waiting for a PR, that include/3, this predicate: https://www.swi-prolog.org/pldoc/man?predicate=include/3 Can ahead of time compile lambda expressions from library(yall). This does not yet work. And anything else will also not work, especially things where a meta predicate declaration is missing. How its going: =============== After I posted arrow functions ahead of time compilation, for Doglog Player, which is much simpler than the LogNonsenseTalk nonsense of library(yall). There was first silence. Now they are a little nervous: Yall lambdas in asserted clauses https://swi-prolog.discourse.group/t/yall-lambdas-in-asserted-clauses/9374 Advice: ======= Why not tap into Boris the Loris and the Nazi Retard Julio? 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: >>>> 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-11-16 05:58 +0000
Amzi! Retirement: 2026 is only next year (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:11 +0200
What does the "Red Tape" on Wayback Machine mean? (Was: Amzi! Retirement: 2026 is only next year) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:14 +0200
Prolog can keep up with the AI Boom [Forget about CLAM] (Was: What does the "Red Tape" on Wayback Machine mean?) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:27 +0200
The cult of CLAM / Clojure rewrite utility (Was: Prolog can keep up with the AI Boom [Forget about CLAM]) Mild Shock <janburse@fastmail.fm> - 2025-07-13 15:43 +0200
Australian Longest Straight Road in Prolog (Was: Clojure hasn't gained momentum [Martin Odersky 2025 Talk]) Mild Shock <janburse@fastmail.fm> - 2025-07-14 16:11 +0200
Can CLAM do bidrectional rounding? (Was: Australian Longest Straight Road in Prolog) Mild Shock <janburse@fastmail.fm> - 2025-07-14 16:15 +0200
Pointed intervals to the rescue [Make CLAM great again] (Was: Can CLAM do bidrectional rounding?) Mild Shock <janburse@fastmail.fm> - 2025-07-15 01:26 +0200
Corr. Re: Pointed intervals to the rescue [Make CLAM great again] (Was: Can CLAM do bidrectional rounding?) Mild Shock <janburse@fastmail.fm> - 2025-07-15 01:28 +0200
Sleepy Joe SWI-Prolog still waiting for a PR (Was: Prolog can keep up with the AI Boom [Forget about CLAM]) Mild Shock <janburse@fastmail.fm> - 2025-11-12 01:26 +0100
deep preprocessor =\= term_expansion and/or goal_expansion [SWI-Prolog dicts] Mild Shock <janburse@fastmail.fm> - 2025-11-12 02:18 +0100
There is something like SuperPrologs ? [SWI, ECLiPSe, etc..] (Was: comp.lang.prolog Frequently Asked Questions) Mild Shock <janburse@fastmail.fm> - 2025-07-15 13:24 +0200
Is ISO itself not simply a dialect? (Was: There is something like SuperPrologs ? [SWI, ECLiPSe, etc..]) Mild Shock <janburse@fastmail.fm> - 2025-07-15 13:26 +0200
Pet project Prolog-Omnibus I don't have any time (Was: Is ISO itself not simply a dialect?) Mild Shock <janburse@fastmail.fm> - 2025-07-15 13:31 +0200
ANN: Go Fund Me for ISO Core Standard of Prolog (Re: Is ISO itself not simply a dialect?) Mild Shock <janburse@fastmail.fm> - 2025-10-09 18:10 +0200
Fuck Around and Find Out : SWI-Prolog Forum [Newline FAFO] (Was: ANN: Go Fund Me for ISO Core Standard of Prolog) Mild Shock <janburse@fastmail.fm> - 2025-10-10 09:36 +0200
Most Prolog Systems didn't solve it yet [Timer Trash] (Was: Fuck Around and Find Out : SWI-Prolog Forum) Mild Shock <janburse@fastmail.fm> - 2025-10-10 09:48 +0200
Moron @jp-diegidio clueless about Unicode (UAX#14) [Re: Most Prolog Systems didn't solve it yet [Timer Trash] (Was: Fuck Around and Find Out : SWI-Prolog Forum) Mild Shock <janburse@fastmail.fm> - 2025-10-10 10:22 +0200
ECliPSe Prolog not a SuperProlog (Was: There is something like SuperPrologs ? [SWI, ECLiPSe, etc..]) Mild Shock <janburse@fastmail.fm> - 2025-08-06 08:30 +0200
csiph-web