Results 1 to 10 of about 76,775 (221)
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
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
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
The Carbon Footprint Methodology in CFOOD Project [PDF]
International Journal of Electronics and Telecommunications, 2020 In the paper, the research on the process of optimizing the carbon footprint to obtain the low-carbon products is presented. The optimization process and limits were analyzed based on the CFOOD project co-financed by the Polish Research and Development ...
Zofia Stawska +5 more
doaj +1 more source
Особенности программной реализации логических задач на языке Prolog
Известия Алтайского государственного университета, 2021 Одним из перспективных направлений использования языка Prolog является решение логических задач. В данном исследовании обозначен подход поиска ответа на основе процедуры генерации состояния и процедуры проверки.
Ольга Николаевна Половикова +3 more
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
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 +8 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