Forschungszentrum Ur Unstliche Deutsches Forschungszentrum f ur K unstliche Intelligenz GmbH Technical Memo...  Home/Search
Context
Related
| dfki.unikl.de/~vega/relfun+...rawam.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dfki.unikl.de/~vega/relfun (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This work describes the C implementation of the Relfun-Adapted WAM (RAWAM). (Update)
Active bibliography (related documents): More All
1.3: Multiple-Valued Horn Clauses and Their WAM Compilation - Boley (1998) (Correct)
0.7: Unknown - (Correct)
0.6: RELFUN Guide: Programming with Relations and.. - Boley, Andel.. (1996) (Correct)
Similar documents based on text: More All
1.1: GeneTS: A Relational-Functional Genetic Algorithm for the.. - Perling (1997) (Correct)
1.0: Feature-Based Lexicons: An Example and a Comparison to DATR - Nerbonne (1992) (Correct)
1.0: Terminological Logics with Modal Operators - Baader, Laux (1994) (Correct)
BibTeX entry: (Update)
@misc{ unstliche-unknown,
author = "Forschungszentrum Ur Unstliche",
title = "Unknown",
url = "citeseer.ist.psu.edu/601334.html" }
Citations (may not include all citations):1399 Compilers - Principles (context) - Aho, Sethi et al. - 1986
125 Warren's Abstract Machine: A Tutorial Reconstruction (context) - t-Kaci - 1991
125 Warren's Abstract Machine: A Tutorial Reconstruction (context) - t-Kaci, known et al. - 1995
12 1993: The Wonder Years of Sequential Prolog Implementation (context) - Van Roy - 1994
9 A Tutorial on the Warren Abstract Machine for Computational .. (context) - Gabriel, Lindholm et al. - 1985
8 FLIP: Functional-plus-Logic Programming on an Integrated Pla.. - Sintek - 1995
5 A veri ed Prolog compiler for the Warren abstract machine (context) - Russino - 1992
5 Indexing PROLOG Procedures into DAGs by Heuristic Classi cat.. (context) - Sintek - 1993
4 Compiling Predicate Logic Programs (context) - Warren - 1977
3 Modularity in logic programming (context) - Bugliese, Lamma et al. - 1994
3 Integration von Sorten als ausgezeichnete taxonomische Prad.. (context) - Hall - 1995
3 NyWam - A WAM Emulator Written in LISP (context) - Nystr - 1985
3 Deklarative statische und dynamische Softwaremodule (context) - Herfert - 1995
2 RFM Manual Compiling RELFUN into RelationalFunctional Machin.. (context) - Boley, Hans et al. - 1996
2 A Relational-Functional Integration for Declarative Programm.. - Boley - 1997
1 BenjaminCumming Publishing Company (context) - Maier, Computing et al. - 1988
1 Special Issue: High-Performance Implementations of Logic Pro.. (context) - Gupta, Carlsson et al. - 1996
1 GeneTS: A Relational-Functional Genetic Algorithm for the Tr.. - Perling - 1997
1 A SOME CORRECTIONS 38 A Some Corrections During the implemen.. (context) - Warren, prolog et al. - 1983
http://www.isg.sfu.ca/~hak/documents/wamerratum.txt
http://www.dfki.uni-kl.de/~vega/relfun.html
Documents on the same site (http://www.dfki.uni-kl.de/~vega/relfun.html): More
A Relational-Functional Integration for Declarative Programming - Boley (1997) (Correct)
GeneTS: A Relational-Functional Genetic Algorithm for the.. - Perling (1997) (Correct)
Uncertainty-Valued Horn Clauses - Hall (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC