Results 61 to 70 of about 7,084,339 (219)

Logic programming extensions of Horn clause logic

Le Matematiche, 1988
Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages.
Ron Sigal
doaj  

Towards Interactive Logic Programming [PDF]

, 2015
Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates with a success if both $G_1$ and $G_2 ...
Kwon, Keehang, Park, Mi-Young
core  

Logical foundations and implementation of an extension of temporal logic

Journal of Computer Science and Technology, 2000
The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj  

The Impact of Pair Programming on the Performance of Slow-Paced Students: A Study on Data Structure Courses

Journal of Information and Organizational Sciences, 2020
A study shows that pair programming can help slow-paced students in completing Introductory Programming assessment. This paper replicates the study on Data Structure course, in which the completion of the assessments does not only rely on logic but also ...
Mewati Ayub, Oscar Karnalim, Laurentius Risal, Maresha Caroline Wijanto   +3 more
doaj   +1 more source

DEDUCŢIA LOGICĂ – MECANISM DE CALCUL AL LIMBAJULUI DE PROGRAMARE LOGICĂ

Studia Universitatis Moldaviae: Stiinte Umanistice, 2008
The present article focuses on analysis and synthesis of elements which are the base of abstract interpreter of programs written in logic. Logic programming and Prolog language significance in studying computer science is appreciating.
USM ADMIN
doaj  

Logic programming in the context of multiparadigm programming: the Oz experience

, 2002
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc ...
Brand, P, Duchier, D, Haridi, S., Henz, M, International Conference on Logic Programming, Schulte, C, Van Roy, Peter   +6 more
core   +2 more sources

DNA logic programming: From concept to construction

View
DNA programming, which is based on the principle of base complementary pairing and Boolean operations, exhibits organizational structures and algorithms similar to those observed in machine language.
Yi Zhang, Ning Hu, Jiajie Xu, Zhen Wang
doaj   +1 more source

Parallel defeasible argumentation

Journal of Computer Science and Technology, 2000
Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique.
Alejandro Javier García, Guillermo Ricardo Simari   +1 more
doaj  

Investigating the impact of generative AI integration on the sustenance of higher-order thinking skills and understanding of programming logic

Computers and Education: Artificial Intelligence
This study investigates how integrating generative AI (GenAI) with instructional scaffolding and prompt engineering supports higher-order thinking skills (HOTS) and programming logic.
Jemimah Nathaniel, Solomon Sunday Oyelere, Jarkko Suhonen, Matti Tedre   +3 more
doaj   +1 more source

Disjunctive Logic Programs with Inheritance

, 2001
The paper proposes a new knowledge representation language, called ...
Buccafurri, Francesco, Faber, Wolfgang, Leone, Nicola   +2 more
core   +1 more source