Results 81 to 90 of about 12,649 (193)
List manipulation in Turbo Prolog [PDF]
Computer Science Journal of Moldova, 1995 The present paper is concerned with list processing in Turbo Prolog language. It doesn't claim to be an exhaustive description of operations which can be performed upon lists.
V.Cotelea
doaj
When AI outputs become documents: Documentation activity in human–AI dialogue
Journal of the Association for Information Science and Technology, Volume 77, Issue 8, Page 1067-1083, August 2026.Abstract Large language models (LLMs) generate texts that increasingly circulate as documents in knowledge infrastructures, yet their documentary status remains theoretically underdetermined. Unlike traditional documents, LLM outputs lack identifiable authorship, stable provenance, or testimonial grounding.
Sascha Donner
wiley +1 more source
Науковий вісник Ужгородського університету. Серія: Математика і інформатика, 2019 Розглядається задача автоматизованого формування математичних виразiв на основi лiнгвiстичного аналiзу тексту. Описано утилiту для текстового процесора MS Word, яка, використовуючи базу знань на мовi Visual Prolog, за допомогою об’єкта OMath генерує ...
М. М. Повiдайчик +2 more
doaj +1 more source
Review of Education, Volume 14, Issue 2, August 2026.Abstract Green and Giblin's ‘systematic review’ of multiliteracies in the December 2025 issue of this journal concludes: there is ‘no evidence’ of impact. This paper replies with a three‐layer analysis of that claim and the evidentiary regime behind it.
Bill Cope, Mary Kalantzis
wiley +1 more source
Kernel Andorra Prolog and its Computational Model [PDF]
, 1990 The logic programming language framework Kernel Andorra Prolog is defined by a formal computation model. In Kernel Andorra Prolog, general combinations of concurrent reactive languages and nondeterministic transformational languages may be specified.
Sverker Janson +3 more
core
Data Schema Evolution for the Self‐Adaptive Software Domain: A Systematic Mapping Study
Software: Practice and Experience, Volume 56, Issue 8, Page 1034-1062, August 2026.ABSTRACT Context Self‐adaptive Software (SaS) is a special category of software systems that enables adaptation at runtime to address new user requirements or changes in its execution environment. This article focuses on a specific category of SaS named SaS2DB, which encompasses systems that require the storage of data in a database. In short, a SaS2DB
Gabriel Nagassaki Campos +4 more
wiley +1 more source
The Ciao clp(FD) library. A modular CLP extension for Prolog [PDF]
, 2013 We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to ...
Gallego Arias, Emilio Jesús +3 more
core +1 more source
Beyond Brunhild: reassessing women in the Fredegar Chronicle
Early Medieval Europe, Volume 34, Issue 3, Page 458-479, August 2026.Scholarly consideration of women in the seventh‐century Fredegar chronicle has long been dominated by the author’s hostility towards Brunhild, queen of Austrasia. Statistical analysis of Latin world chronicles before ad 900, however, shows that Fredegar’s representation of women was unusually high within this tradition.
Emily Quigley
wiley +1 more source
SREC-I: prototipo de Sistema de RECuperación Inteligente
Documentación de las Ciencias de la Información, 2005 Descripción de un prototipo de sistema de recuperación inteligente llamado SREC-I desarrollado en PROLOG. Se explican sus características generales, motivadas por su finalidad inicialmente didáctica. A continuación se detallan los principales módulos que
Juan Antonio Martínez Comeche
doaj
Expert Systems, Volume 43, Issue 8, August 2026.ABSTRACT This systematic review synthesizes evidence from 68 studies, including peer‐reviewed journal articles, indexed conference/workshop proceedings and five remaining arXiv preprints published between 2022 and 2025, on small language models (SLMs) as computationally efficient alternatives to large language models (LLMs).
Sena Dikici, Turgay Tugay Bilgin
wiley +1 more source