Results 11 to 20 of about 57,202 (208)
Improving Prolog Programs: Refactoring for Prolog [PDF]
, 2004 Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility.
A. Pettorossi +10 more
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
Theory and Practice of Logic Programming, 2011 AbstractSWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily forknowledge-intensiveandinteractivesystems. Community contributions have added several interfaces and
Jan Wielemaker +3 more
openaire +4 more sources
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
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
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
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
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