Results 11 to 20 of about 12,649 (193)
The Intellectual Training Environment for Prolog Programming Language [PDF]
Informatică economică, 2007 In this work is described a new complex training system, named SPprolog, intended for training and self-training in logic programming language - Prolog.
Serghei PELIN
doaj +2 more sources
Comparison of Contrasting Prolog Trace Output Formats [PDF]
, 1997 This paper reports on a comparative study of three Prolog trace packages. 43 students of an introductory Prolog course solved 5 different Prolog programming problems in each of three different conditions (using isomorphic problem variants to disguise ...
Patel, Mukesh J. +5 more
core +1 more source
Semantics for Prolog with Cut – Revisited [PDF]
, 2014 This paper revisits the semantics for Prolog with cut from the perspective of formulating a semantic base that is amenable to abstract interpretation. It argues that such a semantics should separate the question of divergence from questions pertaining to
Jael Kriener +3 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
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
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
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
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
Self-Tuning Resource Aware Specialisation for Prolog [PDF]
, 2005 The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer architecture and Prolog compiler using a genetic algorithm approach.
Stephen-John Craig +3 more
core +1 more source
A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs [PDF]
, 1992 The searchfor better Prolog debugging environments has taken a number of dif- ferent paths of which three are particularly important: improvements to monitoring tools (notably the TransparentProlog Machine (Eisenstadt & Brayshaw, 1987)),pro- viding ...
Paul Brna +5 more
core +1 more source