Results 11 to 20 of about 24,210 (235)
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
, 2012 Source: Heinrich Heine: Werke und Briefe in zehn Bänden. Herausgegeben von Hans Kaufmann, 2. Auflage, Berlin und Weimar: Aufbau, 1972.
+20 more sources
Brief Report on the Advanced Use of Prolog for Data Warehouses
Applied Sciences, 2022 Data warehouses have demonstrated their applicability in numerous application fields such as agriculture, the environment and health. This paper proposes a general framework for defining a data warehouse and its aggregations using logic programming.
François Pinet
doaj +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
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
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
Acta Universitatis Sapientiae: Informatica, 2016 The backward-chaining inference strategy of Prolog is inefficient for a number of problems. The article proposes Contralog: a Prolog-conform, forward-chaining language and an inference engine that is implemented as a preprocessor-compiler to Prolog.
Kilián Imre
doaj +1 more source