Results 11 to 20 of about 76,775 (221)
Fifty Years of Prolog and Beyond [PDF]
Theory and Practice of Logic Programming, 2022 Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50 years, supported by
Philipp Korner +10 more
semanticscholar +1 more source
XSB: Extending Prolog with Tabled Logic Programming [PDF]
Theory and Practice of Logic Programming, 2010 The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao.
T. Swift, D. Warren
semanticscholar +1 more source
The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines [PDF]
Theory and Practice of Logic Programming, 2011 We describe the BinProlog system's compilation technology, runtime system and its extensions supporting first-class Logic Engines while providing a short history of its development, details of some of its newer re-implementations as well as an overview ...
Paul Tarau
semanticscholar +1 more source
ClioPatria: A SWI-Prolog infrastructure for the Semantic Web
Semantic Web, 2016 ClioPatria is a comprehensive semantic web development framework based on SWI-Prolog. SWI-Prolog provides an efficient C-based main-memory RDF store that is designed to cooperate naturally and efficiently with Prolog, realizing a flexible RDF-based ...
J. Wielemaker +3 more
semanticscholar +1 more source
SICStus Prolog—The first 25 years [PDF]
Theory and Practice of Logic Programming, 2010 SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for revisiting the main language and design decisions, and try to distill some lessons. SICStus Prolog was conceived in a context of multiple, conflicting Prolog dialect
M. Carlsson, P. Mildner
semanticscholar +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
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
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