Results 21 to 30 of about 76,775 (221)
Description and Optimization of Abstract Machines in a Dialect of Prolog [PDF]
, 2014 In order to achieve competitive performance, abstract machines for Prolog and related languages end up being large and intricate, and incorporate sophisticated optimizations, both at the design and at the implementation levels.
Carro, Manuel +2 more
core +2 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
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
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
Program for testing the compatibility of HF wireless devices
Vojnotehnički Glasnik, 1996 A program in PROLOG for HF wireless devices compatibility testing is described in the paper. The communication can be established through many HF wireless devices but not at all frequencies nor with all operation types.
Đorđe Matić , Dragan Acketa
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