Results 11 to 20 of about 16,576 (234)
Повесть о юноше и чародее в славянской книжности
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
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 +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.
Alexander Serebrenik +2 more
openaire +6 more sources
PROLogic: A FUZZY TEMPORAL CONSTRAINT PROLOG [PDF]
International Journal of Apllied Mathematics, 2019 In this paper we present PROLogic, a logic programming language based on a formal first-order fuzzy temporal logic: FTCLogic. FTCLogic integrates the advantages of a formal system (a first-order logic based on Possibilistic Logic) and an efficient mechanism with which to reason about time: the Fuzzy Temporal Constraints Networks or FTCN.
Cárdenas Viedma, María Antonia +1 more
openaire +2 more sources
Особенности программной реализации логических задач на языке Prolog
Известия Алтайского государственного университета, 2021 Одним из перспективных направлений использования языка Prolog является решение логических задач. В данном исследовании обозначен подход поиска ответа на основе процедуры генерации состояния и процедуры проверки.
Ольга Николаевна Половикова +3 more
doaj +1 more source
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
Advanced Engineering Research, 2021 Introduction. The organization of branches and repetitions in the context of logical programming is considered by an example of the Prolog language. The fundamental feature of the program in a logical programming language is the fact that a computer must
D. V. Zdor
doaj +1 more source
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
Improving Prolog Programs: Refactoring for Prolog [PDF]
, 2004 To appear in ICLP ...
Schrijvers, Tom, Serebrenik, Alexander
openaire +3 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 +6 more sources