Results 21 to 30 of about 16,576 (234)
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 +3 more sources
Enhancing Prolog to support Prolog programming environments [PDF]
, 1988 This paper describes the basic ideas we followed in the development of PROSE, a Prolog programming support environment we are implementing at our Department. We claim that standard Prolog must be adequately enhanced to be well suited to support the construction of an efficient programming environment.
MARTELLI A., ROSSI, Gianfranco
openaire +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
Dynamic flood webmapping: an operational and cost-limited tool to optimize crisis management
E3S Web of Conferences, 2016 Due to strong climate variations and the multiplication of flood events, protection based strategies are no longer sufficient to handle a watershed scale crisis. Monitoring, prediction and alert procedures are required to ensure effective crisis and post-
Strappazzon Quentin +3 more
doaj +1 more source
Vojnotehnički Glasnik, 1996 The paper presents a possibility to formulate a program of communication personnel work in an operating unit, especially in the domain of planning and organization. The program is written in PROLOG (Programming in Logic).
Đorđe Matić , Dragan Acketa
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
On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems
Information, 2017 Software testing and benchmarking are key components of the software development process. Nowadays, a good practice in large software projects is the continuous integration (CI) software development technique.
Ricardo Gonçalves +2 more
doaj +1 more source
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
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