Results 21 to 30 of about 57,202 (208)
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
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
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
Consideraciones sobre la construcción de sistemas expertos utilizando el lenguaje Prolog
Revista Facultad de Ingeniería Universidad de Antioquia, 1997 Una base de conocimiento puede considerarse como un conjunto de reglas que definen relaciones entre objetos; por esa razón se puede utilizar la máquina de inferencia interna que posee Prolog para el desarrollo de sistemas expertos.
Mateo Lezcano-Brito +1 more
doaj +1 more source
Applied Mathematics Letters, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Goodwin, S.D., Mahroos, M., Neufeld, E.
openaire +2 more sources
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
The Synthesis of Logic Programs from Inductive Proofs [PDF]
, 1990 We describe a technique for synthesising logic (Prolog) programs from non-executable specifications. This technique is adapted from one for synthesising functional programs as total functions. Logic programs, on the other hand, define predicates.
Bundy, Alan, Smaill, A., Wiggins, G.
core +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
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
Henrik Wergelands «Den første Gang» som prolog og talehandling
Edda, 2018 Sammendrag «Den første Gang» hører til blant Wergelands mest kjente dikt, men er hittil ikke blitt gjort til gjenstand for en helhetlig tolkning. Denne artikkelen setter seg fore å bøte på denne mangelen i Wergelandsforskningen.
Frode Helmich Pedersen
doaj +1 more source