! Aware: default selections: Prolog

! 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 -

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, ...

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)

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

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.

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

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 >

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!