Results 1 to 10 of about 8,276 (181)
Enhancing Prolog to support Prolog programming environments [PDF]
, 1988 This paper describes the basic ideas we followed in the development of PROSE, a Prolog programming support environment we are implementing at our Department. We claim that standard Prolog must be adequately enhanced to be well suited to support the construction of an efficient programming environment.
Alberto Martelli, Gianfranco Rossi
openalex +5 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
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
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
Особенности программной реализации логических задач на языке Prolog
Известия Алтайского государственного университета, 2021 Одним из перспективных направлений использования языка Prolog является решение логических задач. В данном исследовании обозначен подход поиска ответа на основе процедуры генерации состояния и процедуры проверки.
Ольга Николаевна Половикова +3 more
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
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
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.
Bart Demoen +2 more
openaire +4 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
Markus Triska +3 more
openaire +4 more sources