Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $11.99/month after trial. Cancel anytime.

    Unavailable
    The Implementation of Prolog
    Unavailable
    The Implementation of Prolog
    Unavailable
    The Implementation of Prolog
    Ebook292 pages5 hours

    The Implementation of Prolog

    By Patrice Boizumault

    5/5

    ()

    Currently unavailable

    Currently unavailable

    About this ebook

    A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive experience in Prolog implementation to describe for students of all levels the concepts, difficulties, and design limits of a Prolog system.

    Boizumault introduces the specific problems posed by the implementation of Prolog, studies and compares different solutions--notably those of the schools of Marseilles and Edinburgh--and concludes with three examples of implementation. Major points of interest include identifying the important differences in implementing unification and resolution; presenting three features of Prolog II--infinite trees, dif, and freeze--that introduce constraints; thoroughly describing Warren's Abstract Machine (WAM); and detailing a Lisp imple-mentation of Prolog.

    Originally published in 1993.

    The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

    LanguageEnglish
    PublisherPrinceton University Press
    Release dateJul 14, 2014
    ISBN9781400863440
    Unavailable
    The Implementation of Prolog

    Related to The Implementation of Prolog

    Titles in the series (6)

    View More
    View More

    Related ebooks

    Mathematics For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      OctaneRender 2022.1

      Feb 21, 2023

      OctaneRender 2022.1
      3 min read

    • Article

      OctaneRender 2022.1

      Feb 21, 2023

      OctaneRender 2022.1
      3 min read

    • Article

      Popular Patches

      Mar 8, 2022

      Popular Patches
      5 min read

    • Article

      Popular Patches

      Mar 8, 2022

      Popular Patches
      5 min read

    • Article

      Regolith Linux 1.4

      Jul 13, 2020

      LINUX | regolith-linux.org Regolith Linux has the goal of “reducing unnecessary clutter and ceremony” from the desktop. This piqued our interest because (a) frankly we can’t stand unnecessary pomp and ceremony and (b) Regolith uses the i3 window man

      2 min read

    • Article

      The Body Syntonic

      Aug 23, 2022

      The Body Syntonic
      4 min read

    • Article

      Learning The Way Of The Docker

      Dec 12, 2023

      eploying new services can take a lot of time. Days sometimes. But D Docker can make life a lot easier for system administrators Containerisation can make deployment an extremely quick affair and management is simple. If the container goes wrong, dele

      2 min read

    • Article

      Distro Watch

      Aug 25, 2020

      Lovers of reptile-based distros will love the latest spin of GeckoLinux, a rolling-release distro spun off openSUSE, Tumbleweed and Packman repositories. It’s focused on giving a slick user experience out of the box, and includes restricted media cod

      1 min read

    • Article

      Manifest File And The Guix Shell Command

      Jan 11, 2022

      For developers and advanced users, the guix shell command is very useful. The command is an update of the guix environment command. You use this command to create an environment for your applications. However, it’s mostly used for development environ

      1 min read

    • Article

      Ongoing Development

      Nov 19, 2019

      Dmitry Safonov posted ‘kernel: Introduce Time Namespace’, a patch series that adds a new namespace for managing the perceived time as seen by processes. A typical use case will be to apply a time namespace to a cgroup containing the running tasks of

      1 min read

    • Article

      Docker vs Podman

      Dec 4, 2023

      Docker vs Podman
      4 min read

    • Article

      DJI Air 2S

      Jun 22, 2021

      DJI Air 2S
      3 min read

    • Article

      ALGOL: The Father Of Mainstream Languages

      May 2, 2023

      Mike Bedford hates to admit it, but he had his first experience with ALGOL before it fell out of favour, so getting to grips with it again was a trip down memory lane. I nthe latest instalment of our series on classic programming languages, we’re tur

      11 min read

    • Article

      Kernel Watch

      Jun 4, 2019

      Linus Torvalds announced the release of the 5.1 Linux kernel, noting that he had been “waffling” about the timing but in the end, nothing that came up had been big enough to cause a delay. The 5.1 kernel includes many new features, among them support

      1 min read

    • Article

      Google To Streamline Its Approach To The Kernel

      Nov 16, 2021

      At the recent Open Source Summit North America 2021 (https://bit.ly/lxf283opensourcesummit), Google engineers Andrew Delgadillo and Dylan Hatch announced Project Icebreaker, a new kernel project from Google that will be as close to the upstream kerne

      1 min read

    • Article

      Newsdesk

      Jun 27, 2023

      Newsdesk
      8 min read

    • Article

      Batch Processing Multiple Videos

      Dec 14, 2021

      Video processing can be an intensive task, taking several times the playing length of a video to convert it. So it would be useful to be able to set up several videos to process and leave the software to get on with it overnight or while you’re at wo

      1 min read

    • Article

      Docker vs Podman

      Nov 7, 2023

      Docker vs Podman
      4 min read

    • Article

      EBPF To Enhance Kubernetes Monitoring

      Apr 1, 2022

      The introduction of Docker and Kubernetes has brought a dramatic revolution in the IT industry. Unlike the traditional methods of developing and deploying software, Kubernetes or K8s uses scaling and automated deployment. Thanks to the Linux function

      4 min read

    • Article

      Nik Collection 5

      Aug 16, 2022

      Nik Collection 5
      4 min read

    • Article

      Mplayer

      May 3, 2022

      Mplayer
      1 min read

    • Article

      Mplayer

      May 3, 2022

      Mplayer
      1 min read

    • Article

      Best Of The Season

      May 12, 2020

      Best Of The Season
      3 min read

    Reviews for The Implementation of Prolog

    5/5

    1 rating0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words