Results 51 to 60 of about 12,649 (193)
A history-based scheme for accelerating Prolog interpretation [PDF]
, 1989 An algorithm for improving the performance of a Prolog interpreter is introduced. The algorithm, unlike the intelligent backtracking schemes which improve the performance by avoiding redundant redos, avoids redundant calls.
Malhotra, Vishv Mohan, Van To, Tang
core
, 2023 The purpose of this graduate thesis, Programming in Prolog, is to gain knowledge of the Prolog Language and how to create programs using it. The thesis is divided into eight chapters, each of which addresses a distinct topic.
Yalamanchili, Ankita Srinivas
core
ОСОБЕННОСТИ ПОСТРОЕНИЯ ВЫЧИСЛИТЕЛЬНОГО МЕХАНИЗМА ЯЗЫКОВ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ
Acta et Commentationes: Ştiinţe Exacte şi ale Naturii, 2019 n articol sunt analizate elementele logicii, care sunt puse la baza unui deductor automat de interpretare a programelor computaționale scrisă în logică, adica deductor cum în realitate și este interpretorului limbajului de programare Prolog.
Serghei PELIN, Nicolai PELIN
doaj +1 more source
Becoming Dostoevsky (how Rowan Williams opens up Bakhtin)
Modern Theology, EarlyView.Abstract With the end of Communism in Russia, non‐materialist contexts were enthusiastically restored to Mikhail Bakhtin's globally famous ideas of carnival, dialogism, and polyphony. This essay surveys Rowan Williams's 2008 study Dostoevsky: Language, Faith + Fiction as a major contribution to this effort, concentrating on those general philosophical ...
Caryl Emerson
wiley +1 more source
The Synthesis of Logic Programs from Inductive Proofs [PDF]
, 1990 We describe a technique for synthesising logic (Prolog) programs from non-executable specifications. This technique is adapted from one for synthesising functional programs as total functions. Logic programs, on the other hand, define predicates.
Geraint Wiggins +5 more
core +1 more source
Sistemas basados en conocimiento usando Prolog
Revista Cubana de Ciencias Informáticas, 2011 Se exponen algunos de los resultados alcanzados en la Universidad Central "Marta Abreu" de Las Villas en cuanto al uso de un lenguaje de Programación Lógica (Prolog) en la elaboración de Sistemas Basados en Conocimiento para diferentes áreas del saber ...
Zenaida García Valdivia +3 more
doaj
MATEC Web of Conferences, 2018 PROLOG is a programming language widely used in the generation of expert and intelligent systems, generally limited to data that is entered directly by a user in the form of software, having little or no interaction with data that is captured directly ...
Ts’zul Pinedo Arriaga O. +3 more
doaj +1 more source
All-Fiber Highly Sensitive Bragg Grating Bend Sensor
Sensors, 2019 In this paper, we demonstrated a novel, all-fiber highly sensitive bend sensor based on a four-core fiber rod with a diameter of 2.1 mm. We observed a high resolution of the sensor at a level of 3.6 × 10−3 m−1.
Oleg V. Butov +4 more
doaj +1 more source
INTERMEDIATE TIER FOR GNU PROLOG - PHP INTEGRATION [PDF]
Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej, 2015 The paper provides a concept of GNU-Prolog integration with PHP using ANSI C socket server as a middleware [8]. There are a few methods of integration of web programming together with CLP proposed so far.
Rafał Szklarczyk
doaj +1 more source
Modern Theology, EarlyView.Abstract This essay, designed as a complement to opinions expressed by Rowan Williams and some speakers at the conference in his honour, explores features of early Christianity which suggest a positive evaluation of artificial intelligence. Noting that the fear of reducing humans to machines has been joined in the modern age by the fear that machines ...
Mark J. Edwards
wiley +1 more source