Results 21 to 30 of about 61,516 (240)
Applying Prolog to Develop Distributed Systems [PDF]
, 2010 Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge.
ANDREY RYBALCHENKO +17 more
core +3 more sources
Prolog Coding Guidelines: Status and Tool Support [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The importance of coding guidelines is generally accepted throughout developers of every programming language. Naturally, Prolog makes no exception. However, establishing coding guidelines is fraught with obstacles: Finding common ground on kind and ...
Falco Nogatz +2 more
doaj +1 more source
On the Implementation of GNU Prolog [PDF]
, 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
Abreu, Salvador +2 more
core +5 more sources
Some Competition Programming Problems as the Beginning of Artificial Intelligence
Informatics in Education, 2007 We consider in this paper some programming competition problems (which are near to some problems of ACM competitions) of the following subjects: we can make their solution using both Prolog and a classical procedure-oriented language.
Boris MELNIKOV, Elena MELNIKOVA
doaj +1 more source
Lazy Stream Programming in Prolog [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In recent years, stream processing has become a prominent approach for incrementally handling large amounts of data, with special support and libraries in many programming languages.
Paul Tarau +2 more
doaj +1 more source
The Ecce and Logen Partial Evaluators and their Web Interfaces [PDF]
, 2006 We present Ecce and Logen, two partial evaluators for Prolog using the online and offline approach respectively. We briefly present the foundations of these tools and discuss various applications.
Craig, Stephen-John +4 more
core +1 more source
Question Answering Systems With Deep Learning-Based Symbolic Processing
IEEE Access, 2019 The authors propose methods to learn symbolic processing with deep learning and to build question answering systems by means of learned models. Symbolic processing, performed by the Prolog processing systems which execute unification, resolution, and ...
Hiroshi Honda, Masafumi Hagiwara
doaj +1 more source
Kepemimpinan Yohanes Pembaptis
Veritas: Jurnal Teologi dan Pelayanan, 2002 Seorang pemimpin biasanya menimbulkan dua hal yang kontradiktif. Ia bisa dikasihi atau sebaliknya, dibenci oleh orang-orang yang dipimpinnya. Ada berbagai alasan atau motivasi yang dapat menimbulkan dua hal kontradiktif sebagai akibat kepemimpinan ...
Armand Barus
doaj +1 more source
Pengines: Web Logic Programming Made Easy
, 2014 When developing a (web) interface for a deductive database, functionality required by the client is provided by means of HTTP handlers that wrap the logical data access predicates.
Lager, Torbjörn, Wielemaker, Jan
core +2 more sources
Tau Prolog: A Prolog Interpreter for the Web
Theory and Practice of Logic Programming, 2023 AbstractTau 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.
openaire +2 more sources