Filters








2,256 Hits in 5.8 sec

Design and analysis of hardware for high-performance prolog

Bruce K. Holmer, Barton Sano, Michael Carlton, Peter Van Roy, Alvin M. Despain
<span title="">1996</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
The microprocessor described here, the VLSI-BAM, has been fabricated and incorporated into a working test system. <3 *This paper is a revised and expanded version of "Fast Prolog with an Extended General  ...  Our goal is to start with a general-purpose architecture and determine a minimal set of extensions for high-performance Prolog execution.  ...  Ralph Haygood authored the Aquarius Prolog run-time library and VLSI-BAM assembler. Georges Smine and Ketan Bhat helped with the design and simulation of the VLSI-BAM cache board.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(96)88981-3">doi:10.1016/s0743-1066(96)88981-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/76ul2mi5sjcqtexpurmtnxg5fi">fatcat:76ul2mi5sjcqtexpurmtnxg5fi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190223160732/https://core.ac.uk/download/pdf/82525885.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/d0/11d02190b990fd6b548df4f404897b30ffc0c601.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0743-1066(96)88981-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Knowledge-Based Control of Reactive Systems with Multi-Layer Architecture

P. Matyasik, G. J. Nalepa
<span title="">2007</span> <i title="IEEE"> 2007 14th International Conference on Mixed Design of Integrated Circuits and Systems </i> &nbsp;
This paper presents a concept of an integrated development platform for fast and error-free implementation of embedded intelligent systems.  ...  The high-level control is knowledge-based and provides an intelligent system behavior.  ...  Future research will be concentrated on improving the visual representation of the knowledge in editor, and extending real-time control features provided by the HexorNG environment. THE AUTHORS  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mixdes.2007.4286247">doi:10.1109/mixdes.2007.4286247</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jo3quengbfdfvh2euio5djte6q">fatcat:jo3quengbfdfvh2euio5djte6q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922003907/http://ai.ia.agh.edu.pl/wiki/_media/hekate%3Abib%3Aptm-mixdes2007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/78/1f/781fa367852e8b03184e9d96356543a972244302.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mixdes.2007.4286247"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

1983–1993: The wonder years of sequential Prolog implementation

Peter Van Roy
<span title="">1994</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
Since 1990 the main interest in special-purpose architectures has been as experiments to guide future general-purpose designs.  ...  The apparent need for architectural support. So-called general-purpose architectures are, in fact, optimized for imperative languages and number crunching.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(94)90031-0">doi:10.1016/0743-1066(94)90031-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kmwktuqn6ndovmlonzxyuxn5im">fatcat:kmwktuqn6ndovmlonzxyuxn5im</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190413234214/https://core.ac.uk/download/pdf/82041494.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ac/fb/acfb377a33f3ecb7352c033e9fbc18a40172cbbb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(94)90031-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

ClioPatria: A SWI-Prolog infrastructure for the Semantic Web

Jan Wielemaker, Wouter Beek, Michiel Hildebrand, Jacco van Ossenbruggen, Axel Polleres
<span title="2016-06-23">2016</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pcapks3huberdozbvfqowysuly" style="color: black;">Semantic Web Journal</a> </i> &nbsp;
ClioPatria extends this core with a SPARQL and LOD server, an extensible web frontend to manage the server, browse the data, query the data using SPARQL and Prolog and a Git-based plugin manager.  ...  SWI-Prolog provides an efficient C-based main-memory RDF store that is designed to cooperate naturally and efficiently with Prolog, realizing a flexible RDF-based environment for rule based programming  ...  The application logic is generally expressed in an (object-oriented) general purpose programming language.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/sw-150191">doi:10.3233/sw-150191</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a3zta32n2jduzltcldsfvodhbq">fatcat:a3zta32n2jduzltcldsfvodhbq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719175605/https://ir.cwi.nl/pub/23530/23530B.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fd/70/fd7073744016166538edd815c298876a02a3f5ae.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/sw-150191"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Instruction set selection for ASIP design

Michael Gschwind
<span title="">1999</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h4zelo33ojdfzbwajaf5qlthey" style="color: black;">Proceedings of the seventh international workshop on Hardware/software codesign - CODES &#39;99</a> </i> &nbsp;
We describe an approach for application-specific processor design based on an extendible microprocessor core.  ...  Core-based design allows to derive application-specific instruction processors from a common base architecture with low non-recurring engineering cost.  ...  The primary aim then is to satisfy the design goals for that problem class, with performance on general purpose code being less important.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/301177.301187">doi:10.1145/301177.301187</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/codes/Gschwind99.html">dblp:conf/codes/Gschwind99</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3dnzadb4ebchvm3v5kaqsalubi">fatcat:3dnzadb4ebchvm3v5kaqsalubi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170814042616/http://www.cecs.uci.edu/~papers/compendium94-03/papers/1999/codes99/pdffiles/1_2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/79/1d/791d95bb169949ab9b2c19304c6ac0ad2d136f2c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/301177.301187"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The implementation of Prolog via VAX 8600 microcode

J. Gee, S. W. Melvin, Y. N. Patt
<span title="1986-12-21">1986</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/j5stxuo4znh3zfo6gifltjjl6a" style="color: black;">ACM SIGMICRO Newsletter</a> </i> &nbsp;
Initial results indicate that. our system is the fastest implementation of Prolog on a commercrally available general purpose processor.  ...  The VAX 8600 is a general purpose processor containing 8K words of writable control store.  ...  Acknowledgements The authors wish to acknowledge the Digital Equipment Corporation for their generous support of our research, in partxular Bill Kania for providing us with the VAX 8600 in order to enhance  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/19530.19538">doi:10.1145/19530.19538</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vkooqlo36vb2pcf2aukmxlywme">fatcat:vkooqlo36vb2pcf2aukmxlywme</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830052526/http://hps.ece.utexas.edu/pub/gee_micro19.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3d/bb/3dbb3ef9e35d9398d744a95cec552879d1550f34.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/19530.19538"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

The implementation of Prolog via VAX 8600 microcode

J. Gee, S. W. Melvin, Y. N. Patt
<span title="">1986</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/sbn7zssnbfcjpjzmgy24brukwi" style="color: black;">Proceedings of the 19th annual workshop on Microprogramming - MICRO 19</a> </i> &nbsp;
Initial results indicate that. our system is the fastest implementation of Prolog on a commercrally available general purpose processor.  ...  The VAX 8600 is a general purpose processor containing 8K words of writable control store.  ...  Acknowledgements The authors wish to acknowledge the Digital Equipment Corporation for their generous support of our research, in partxular Bill Kania for providing us with the VAX 8600 in order to enhance  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/19551.19538">doi:10.1145/19551.19538</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/micro/GeeMP86.html">dblp:conf/micro/GeeMP86</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tskoou5mnza45devejxqzt45a4">fatcat:tskoou5mnza45devejxqzt45a4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830052526/http://hps.ece.utexas.edu/pub/gee_micro19.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3d/bb/3dbb3ef9e35d9398d744a95cec552879d1550f34.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/19551.19538"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Prolog and deductive databases

M.H. Williams, G. Chen, D. Ferbrache, P. Massey, S. Salvini, H. Taylor, K.F. Wong
<span title="">1988</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w5jcgie76rehrmy3uf2hriydla" style="color: black;">Knowledge-Based Systems</a> </i> &nbsp;
The second aim is to implement a deductive database management system in Prolog, while a thirdisto evaluate the effectiveness of parallel logic languagesf or implementing database applications.  ...  The version of Prolog chosen for this purpose is Prolog-X.  ...  This is a separate sub-system which is responsible for communicating with and controlling some special purpose hardware known as the Clause RetrievalE ngine (CLARE), an associative retrievale ngine for  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0950-7051(88)90077-9">doi:10.1016/0950-7051(88)90077-9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zfbzzpzmgffsbojqshay4j4sca">fatcat:zfbzzpzmgffsbojqshay4j4sca</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110930173211/http://www.macs.hw.ac.uk/~hamish/ps/prolog_and_deductive_dbs.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2b/8f/2b8f883f06586351b0435864ae101460dc39eddc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0950-7051(88)90077-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A high-performance low risc machine for logic programming

J.W Mills
<span title="">1989</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
This paper describes a reduced-instruction-set computer (RISC) architecture for PROLOG and gives examples of Warren-machine (WAM) instructions, built-in functions, and unit clauses written using its instruction  ...  Using an instruction cache and a data cache, hand-optimized unit clauses are estimated to run at more than 1,700,OOO logical inferences per second (LIPS), while a mixture of hand-optimized and macro-expanded  ...  The WAM instruction set is typically extended to allow system predicates to be executed on a general-purpose processor.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(89)90035-6">doi:10.1016/0743-1066(89)90035-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fze6mjuorfhc5eynqoyugoqsxm">fatcat:fze6mjuorfhc5eynqoyugoqsxm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190417155351/https://core.ac.uk/download/pdf/82097096.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e0/de/e0ded78a9a5f399c1e794f213c351a49ebd76c6d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(89)90035-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Compiling Prolog into microcode: a case study using the NCR/32-000

B. Fagin, Y. N. Patt, V. Srini, A. Despain
<span title="1985-12-01">1985</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/j5stxuo4znh3zfo6gifltjjl6a" style="color: black;">ACM SIGMICRO Newsletter</a> </i> &nbsp;
This paper describes one of them:-the compilation of W-code directly into the vertical microcode of a general purpose host processor, the NCR/32-000.  ...  A proven method of obtaining high performance for Prolog programs is to first translate them into the instruction set of Warren's Abstract Machine, or W-code [l].  ...  Even after the various research efforts with faster estimates become viable, it will still remain the fastest Prolog available on a non-symbolic (i.e. general purpose) processor.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/18906.18914">doi:10.1145/18906.18914</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vgmayj2r5jfkzpbiejjdaaz2ou">fatcat:vgmayj2r5jfkzpbiejjdaaz2ou</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100311032920/http://www.thecorememory.com/CPIM.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ab/9c/ab9c93c0d8553269f0624190d7d0cbe507be4d06.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/18906.18914"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Memory- and buffer-referencing characteristics of a WAM-based PROLOG

Evan Tick
<span title="">1991</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7qdabej4lbaczotmeg3ldn4ioy" style="color: black;">The Journal of Logic Programming</a> </i> &nbsp;
D Several local data buffers are proposed and measurements are presented for variations of the Warren-abstract-machine (WAM) architecture for PROLOG . First, literature in this area is reviewed .  ...  The data-memory performance results are equally valid for native code and reduced-instruction-set implementations of PROLOG .  ...  My work was supported by an IBM Graduate Fellowship .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(91)90016-i">doi:10.1016/0743-1066(91)90016-i</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2emwls26avasznuvekhyjgqfgi">fatcat:2emwls26avasznuvekhyjgqfgi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170927050854/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/4c2/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wNzQzMTA2NjkxOTAwMTZp.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/06/b9/06b93e51752b36c6bcd684a19ca46c067c91ea5c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-1066(91)90016-i"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Compiling Prolog into microcode: a case study using the NCR/32-000

B. Fagin, Y. N. Patt, V. Srini, A. Despain
<span title="">1985</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/sbn7zssnbfcjpjzmgy24brukwi" style="color: black;">Proceedings of the 18th annual workshop on Microprogramming - MICRO 18</a> </i> &nbsp;
This paper describes one of them:-the compilation of W-code directly into the vertical microcode of a general purpose host processor, the NCR/32-000.  ...  A proven method of obtaining high performance for Prolog programs is to first translate them into the instruction set of Warren's Abstract Machine, or W-code [l].  ...  Even after the various research efforts with faster estimates become viable, it will still remain the fastest Prolog available on a non-symbolic (i.e. general purpose) processor.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/18927.18914">doi:10.1145/18927.18914</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/micro/FaginPSD85.html">dblp:conf/micro/FaginPSD85</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qjl6ldm4i5gb5llcqyljsjbj44">fatcat:qjl6ldm4i5gb5llcqyljsjbj44</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100311032920/http://www.thecorememory.com/CPIM.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ab/9c/ab9c93c0d8553269f0624190d7d0cbe507be4d06.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/18927.18914"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

RFuzzy: an Easy and Expressive Tool for Modelling the Cognitive Layer in RoboCupSoccer [chapter]

Susana Munoz
<span title="2010-01-01">2010</span> <i title="InTech"> Robot Soccer </i> &nbsp;
Fuzzy Prolog described in Guadarrama, S.Muñoz & C.Vaucheret (2004) and Extending Prolog with Incomplete Fuzzy Information (2005) ; Default values to handel Incomplete Fuzzy Information (2006) is implemented  ...  The example below defines that the player robot3 is a fast player with a truth value 0.9. fast player robot3 value 0.9.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/7342">doi:10.5772/7342</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wgabtcptubhlrcz6fshgpobpkm">fatcat:wgabtcptubhlrcz6fshgpobpkm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427071651/https://cdn.intechopen.com/pdfs/9357.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/29/bc/29bc680f9510850c346421ed77294567329607ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/7342"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Prolog-Based Infrastructure for RDF: Scalability and Performance [chapter]

Jan Wielemaker, Guus Schreiber, Bob Wielinga
<span title="">2003</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we outline an infrastructure for loading and saving RDF/XML, storing triples, elementary reasoning with triples and visualization.  ...  The RDF parser is distributed with SWI-Prolog under the LGPL Free Software licence. The other components will be added to the distribution as they become stable and documented.  ...  In addition, each triple is associated with a source-reference consisting of an atom (normally the filename) and an integer (normally the line-number) and a general-purpose set of flags, adding to 13 machine  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-39718-2_41">doi:10.1007/978-3-540-39718-2_41</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qhes6ten5fa6hbesujufn6ed4a">fatcat:qhes6ten5fa6hbesujufn6ed4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170913154342/https://link.springer.com/content/pdf/10.1007%2F978-3-540-39718-2_41.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/57/48/57487308e1b9f25d2c90295a651ad0fe25280667.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-39718-2_41"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A high speed prolog implementation on a VLIW processor

W. Schenk
<span title="">1989</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t4iorsn7lnh2xkhqs5p35b5n54" style="color: black;">Microprocessing and Microprogramming</a> </i> &nbsp;
The e ciency of this approach i s s h o wn by an implementation of the logic programming language Prolog on the VLIW processor SAMP.  ...  The implementation has been tested and evaluated by feeding a simulator with the microcoded interpreter and the W-Code of the Warren Benchmark Set. The results indicate the performance of 44.5 KLIPS.  ...  Assume that the generation of the guarding condition is fast and the evaluation of the address and data is a complex task.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0165-6074(89)90118-x">doi:10.1016/0165-6074(89)90118-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hhzfuzuel5dxziplawgsa3f3qq">fatcat:hhzfuzuel5dxziplawgsa3f3qq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070824084441/http://ls12-www.cs.uni-dortmund.de/publications/papers/1989-euro-prolog.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/02/f6/02f66b83a8662af023a3a013bce8b86908243e06.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0165-6074(89)90118-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 2,256 results