The paper describes the basic design methodology and the technological aspects involved in the i n - tegration of an high performance Prolog machine on Silicon. Currently available Prolog machines are implemented by using a large number of boards. Consequently they become expensive, cumbersome and not yet achievable by industrial standards. The described processor, PROXIMA,is a VLSI Prolog engine suitable t o be added on a commerc a1 workstation. The project has been carried out as a cooperative effort of SGS-THOMSON Microe ectronics and the Politecnico di Torino
Euromicro symposium on microprocessing and microprogrammingInternational audienceThis paper discusse...
This Manual corresponds to SICStus Prolog release 2.1. #8 Prolog is a simple but powerful programmin...
In April 1982, a new institute named ICOT (Institute for New Generation Computer Technology ) was cr...
AbstractMost Prolog machines have been based on specialized architectures. Our goal is to start with...
Prolog has been widely recognized as a powerful programming language for artificial intelligence. It...
This paper presents the LPCAD (Logic Programming-based system for CAD) system for designing complex ...
Aurora is a prototype or-parallel implementation of the full Prolog language for shared-memory multi...
In this paper we discuss several characteristics of microcomputer PROLOG implementations including a...
Adhering to the principles of logic programming results in greater expressiveness than is obtained b...
: Logic programming and particularly PROLOG have long been considered good candidates for parallel e...
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sa...
The implementation of Prolog systems has a long history, from the first interpreter written in 1972 ...
Prolog is a symbolic logic language presently emerging among numerous expert system designs. The arc...
The &-Prolog system, a practical implementation of a parallel execution niodel for Prolog exploitin...
Prolog, an acronym for Pro-gramming in Log-ic, is a product of artificial intelligence research with...
Euromicro symposium on microprocessing and microprogrammingInternational audienceThis paper discusse...
This Manual corresponds to SICStus Prolog release 2.1. #8 Prolog is a simple but powerful programmin...
In April 1982, a new institute named ICOT (Institute for New Generation Computer Technology ) was cr...
AbstractMost Prolog machines have been based on specialized architectures. Our goal is to start with...
Prolog has been widely recognized as a powerful programming language for artificial intelligence. It...
This paper presents the LPCAD (Logic Programming-based system for CAD) system for designing complex ...
Aurora is a prototype or-parallel implementation of the full Prolog language for shared-memory multi...
In this paper we discuss several characteristics of microcomputer PROLOG implementations including a...
Adhering to the principles of logic programming results in greater expressiveness than is obtained b...
: Logic programming and particularly PROLOG have long been considered good candidates for parallel e...
Cette thèse présente l'étude de l'implantation d'un système Prolog parallèle sur une architecture sa...
The implementation of Prolog systems has a long history, from the first interpreter written in 1972 ...
Prolog is a symbolic logic language presently emerging among numerous expert system designs. The arc...
The &-Prolog system, a practical implementation of a parallel execution niodel for Prolog exploitin...
Prolog, an acronym for Pro-gramming in Log-ic, is a product of artificial intelligence research with...
Euromicro symposium on microprocessing and microprogrammingInternational audienceThis paper discusse...
This Manual corresponds to SICStus Prolog release 2.1. #8 Prolog is a simple but powerful programmin...
In April 1982, a new institute named ICOT (Institute for New Generation Computer Technology ) was cr...