Results 1 to 10 of about 936 (67)
On the Implementation of GNU Prolog [PDF]
arXiv, 2010 GNU Prolog is 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 standalone executables which don't rely on any byte-code emulator or meta-interpreter.
Daniel Díaz +2 more
arxiv +4 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
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 +12 more sources
Automating tasks in protein structure determination with the clipper python module
Protein Science, Volume 27, Issue 1, Page 207-216, January 2018., 2018 Abstract Scripting programming languages provide the fastest means of prototyping complex functionality. Those with a syntax and grammar resembling human language also greatly enhance the maintainability of the produced source code. Furthermore, the combination of a powerful, machine‐independent scripting language with binary libraries tailored for ...
Stuart McNicholas +8 more
wiley +1 more source
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
Ideas for the future of Prolog inspired by Oz [PDF]
arXiv, 2023 Both Prolog and Oz are multiparadigm languages with a logic programming core. There is a significant subset of Oz that is a syntactic variant of Prolog: pure Prolog programs with green or blue cuts and bagof/3 or setof/3 can be translated directly to Oz. Because of this close relationship between Prolog and Oz, we propose that the extensions made by Oz
arxiv
Making ProB compatible with SWI-Prolog [PDF]
arXiv, 2022 Even though the core of the Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex Prolog programs that can run unmodified on multiple Prolog implementations. Indeed, implementations sometimes deviate from the ISO standard and the standard itself fails to cover many features that are essential in ...
arxiv
Tau Prolog: A Prolog interpreter for the Web [PDF]
arXiv, 2023 Tau Prolog is a client-side Prolog interpreter fully implemented in JavaScript, which aims at implementing the ISO Prolog Standard. Tau Prolog has been developed to be used with either Node.js or a browser seamlessly, and therefore, it has been developed following a non-blocking, callback-based approach to avoid blocking web browsers.
arxiv