Results 1 to 10 of about 26,997 (69)
The GNU Prolog system and its implementation [PDF]
Proceedings of the 2000 ACM symposium on Applied computing - Volume 2, 2000 We describe in this paper the GNU-Prolog system, a free system consisting of a Prolog compiler and a constraint solver on nite domains. GNU-Prolog is based on a low-level mini-assembly platform-independent language that makes it possible for e cient compilation time, and allows to produce small stand alone executable les as the result of the ...
Diaz, Daniel, Codognet, Philippe
semanticscholar +5 more sources
On the implementation ofGNU Prolog [PDF]
Theory and Practice of Logic Programming, 2011 AbstractGNU Prologis a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces stand-alone executables which do not rely on any bytecode emulator or meta-interpreter.
Diaz, Daniel +2 more
+11 more sources
INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION
Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2005 The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj +14 more sources
INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION [PDF]
Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2015 The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj +2 more sources
BioMake: a GNU make-compatible utility for declarative workflow management. [PDF]
Bioinformatics, 2017 Holmes IH, Mungall CJ.
europepmc +2 more sources
Extending the Finite Domain Solver of GNU Prolog [PDF]
, 2014 This paper describes three significant extensions for the Finite Domain solver of GNU Prolog. First, the solver now supports negative integers. Second, the solver detects and prevents integer overflows from occurring. Third, the internal representation of sparse domains has been redesigned to overcome its current limitations.
Bloemen, Vincent +3 more
openaire +3 more sources
Formal ESL Synthesis for Control‐Intensive Applications
Advances in Software Engineering, Volume 2012, Issue 1, 2012., 2012 Due to the massive complexity of contemporary embedded applications and integrated systems, long effort has been invested in high‐level synthesis (HLS) and electronic system level (ESL) methodologies to automatically produce correct implementations from high‐level, abstract, and executable specifications written in program code.
Michael F. Dossis, Kamel Barkaoui
wiley +1 more source
Performance Analysis Techniques for Multi‐Soft‐Core and Many‐Soft‐Core Systems
International Journal of Reconfigurable Computing, Volume 2012, Issue 1, 2012., 2012 Multi‐soft‐core systems are a viable and interesting solution for embedded systems that need a particular tradeoff between performance, flexibility and development speed. As the growing capacity allows it, many‐soft‐cores are also expected to have relevance to future embedded systems.
David Castells-Rufas +3 more
wiley +1 more source
A Survey of Software Infrastructures and Frameworks for Ubiquitous Computing
Mobile Information Systems, Volume 1, Issue 1, Page 41-80, 2005., 2005 In this survey, we discuss 29 software infrastructures and frameworks which support the construction of distributed interactive systems. They range from small projects with one implemented prototype to large scale research efforts, and they come from the fields of Augmented Reality (AR), Intelligent Environments, and Distributed Mobile Systems.
Christoph Endres +2 more
wiley +1 more source
Towards constraint-informed information systems
Research Challenges in Information Science, 2013 Declarative techniques such as Constraint Programming are very useful in modeling complex requirements. They have the added benefit of being executable specifications and, when properly tuned, high-performance ones.
I. Rodrigues +4 more
semanticscholar +1 more source