! Aware > default selections > Activity specific > Software Development > Languages > Prolog >

Prolog

- Prolog programming language
Subsets on this page: - #Apps & Utilities - #Articles - #Books - #Info - #Libs & Functions -
- #Personalize -
     icon
Search ! Aware:



     Home
  By TONY
  By MARK
  By JERRY
  By ANN
  By ERICA

Search all pages


Subjects

By activity
Professions, Sciences, Humanities, Business, ...

User Interface
Text-based, GUI, Audio, Video, Keyboards, Mouse, Images,...

Text Strings
Conversions, tests, processing, manipulation,...

Math
Integer, Floating point, Matrix, Statistics, Boolean, ...

Processing
Algorithms, Memory, Process control, Debugging, ...

Stored Data
Data storage, Integrity, Encryption, Compression, ...

Communications
Networks, protocols, Interprocess, Remote, Client Server, ...

Hard World
Timing, Calendar and Clock, Audio, Video, Printer, Controls...

File System
Management, Filtering, File & Directory access, Viewers, ...



Information and Publications: Showing

FAQ: Prolog Resource Guide 1/2 [Monthly posting]

ftp://rtfm.mit.edu/pub/faqs/prolog/resource-guide/part1 (At MIT)
FAQ: Prolog Implementations 2/2 [Monthly posting] (At MIT)
FAQ: Prolog Implementations 2/2 [Monthly posting] (At faqs.org)

comp.lang.prolog Frequently Asked Questions

ftp://rtfm.mit.edu/pub/faqs/prolog/faq (At MIT)


Books: Showing

From Logic Programming to Prolog (Prentice-Hall International Series in Computer Science)
[Anuff, Ed ; Prentice-Hall, Inc. ] ISBN 013230368X
- At Barnes & Noble - At Amazon - At Half


Articles: Showing

Architectural Support for Goal Management in Flat Concurrent Prolog ( Leon Alkalaj, Tomás Lang, Milos D. Ercegovac ; IEEE Computer Magazine 1992-08)

- A special-purpose architectural support that reduces the goal-management execution time in flat concurrent Prolog (FCP) is described. The architectural support consists of a dedicated goal-management unit that executes high-level goal-management operations concurrently with goal-reduction operations. The efficient execution of goal-management instructions is realized using a goal cache that stores recently spawned goals. It is shown that operations such as goal-switching, spawning, and halting are efficiently performed by changing their status in the goal cache. More complex operations, such as goal suspension and activation are decoupled from goal reduction by using two suspension tables and activation queues. Using an analytic performance model, it is shown that, for the systems development workload, which consists of large FCP programs, the overhead of software-implemented goal management is 50% of the program execution time. This is reduced up to 3% using the goal-management unit and the goal cache, resulting in a speedup of almost 2. The results are generalized for other workloads that exhibit different goal-management complexities.

High-Performance Logic Programming with the Aquarius Prolog Compiler ( Peter Van Roy, Alvin M. Despain ; IEEE Computer Magazine 1992-01)

- Aquarius Prolog, a high performance compiler designed and built to test the hypothesis that Prolog can be implemented as efficiently as an imperative language by compiling the more powerful features of logic programming only where they are needed, and then only in the simplest form, is described. The authors begin with some background on logic programming and then discuss the Prolog language in more detail. They present an overview of their compiler, giving its structure and the principles underlying its high performance. They compare their system with two popular high-performance commercial systems and with two implementations of C and conclude with an overview of ways to extend this work.


Applications and Utilities: Showing

JPL - A set of Java classes and C functions providing a bridge between Java and Prolog {(L)GPL}

At Sourceforge ( Production/Stable)

GNU Prolog - is a native compiler for ISO Prolog with constraint solving over finite domains. {GPL,GNU}

At GNU project
- GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. (At Sourceforge)

yap-4.3.19 - A high-performance Prolog compiler

At FreeBSD Ports

gprolog-1.2.1 - A free Prolog compiler developed by Daniel Diaz

At FreeBSD Ports
gprolog-1.1.6 - GNU prolog compiler and interpreter (At NetBSD packages collection)

wamcc-2.22 - Prolog-to-C translator from Inria

At FreeBSD Ports

swi-pl-3.4.4 - Edinburgh-style Prolog compiler

At FreeBSD Ports

prologtags - Create tags file for Prolog {oss}

At comp.sources.unix at ISC
ftp://ftp.uu.net/usenet/comp.sources.unix/volume17/ (At comp.sources.unix at UUNET)

JavaLog - A Prolog interpreter written in Java(tm) {GPL}

Applications and Utilities

Others not displayed here
Full List

Libraries and Components: Showing

JavaLog - A Prolog interpreter written in Java(tm) {GPL}

- A Java class library for logging, tracing, warnings, errors, asserts, etc with runtime configurable formatting and event filtering. (At Sourceforge)

Language::Prolog - A Prolog (logic programming language) interpreter written in Perl. [Perl] {oss}

At CPAN

External Categories

(Metalab at UNC) /pub/linux/devel/lang/prolog/ - The SWI-Prolog Compiler for Linux

Personalized Selections
Platform:
MS Windows.
Unix/BSD/Linux.
Prog.Language:
Perl.
Java.
C/C++.
License:
Open-source.
  GPL or LGPL.
Maturity:
Stable.
Pre-production.
Tip: To exclude choices, select all others in same column
Pre-Selections

Use our system: Bring Rapid Knowledge Transfer and Awareness to your company website!



Rapid-Links: Search | About | Comments | Submit Path: RocketAware > Activity specific > Software Development > Languages > Prolog >
RocketAware.com is a service of Mib Software
Copyright 2002, Forrest J. Cavalier III. All Rights Reserved.
We welcome submissions and comments