Results 1 to 10 of about 79,804 (260)
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 Körner +2 more
exaly +4 more sources
Lock-free atom garbage collection for multithreaded Prolog [PDF]
, 2016 The runtime system of dynamic languages such as Prolog or Lisp and their derivatives contain a symbol table, in Prolog often called the atom table. A simple dynamically resizing hash-table used to be an adequate way to implement this table.
Harris, Keri, Wielemaker, Jan
core +10 more sources
Source Code Verification for Embedded Systems using Prolog [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST).
Frank Flederer +3 more
doaj +4 more sources
Improving Prolog Programs: Refactoring for Prolog [PDF]
, 2004 To appear in ICLP ...
Schrijvers, Tom, Serebrenik, Alexander
openaire +3 more sources
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 +2 more sources
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
Повесть о юноше и чародее в славянской книжности
Studia Ceranea, 2022 A Narrative about a Young Man and the Magician Mesites in the Slavonic Medieval Tradition. This article is devoted to the study of the Narrative about the Young Man and Magician that widely circulated in the Medieval Slavonic tradition.
Irina M. Gritsevskaya +1 more
doaj +1 more source
Improving Prolog programs: Refactoring for Prolog [PDF]
Theory and Practice of Logic Programming, 2008 AbstractRefactoring is an established technique from the object-oriented (OO) programming community to restructure code: it aims at improving software readability, maintainability, and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to logic programming until now.
Serebrenik, Alexander +2 more
openaire +4 more sources
Analogical Reasoning With Deep Learning-Based Symbolic Processing
IEEE Access, 2021 The authors propose analogical reasoning systems based on first-order predicate logic using deep learning. The proposed systems consist of a model combining recursive neural networks and Word2Vec. When unknown data is input in this trained model, similar
Hiroshi Honda, Masafumi Hagiwara
doaj +1 more source