Teaching logic programming: a review
Logic programming constitutes a significant paradigm within computer science, offering a unique approach to programming based on formal logic rather than conventional imperative instructions. This review examines contemporary methodologies for teaching logic programming, spanning various paradigms...
Saved in:
| Main Authors: | Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Academy of Cognitive and Natural Sciences
2025-03-01
|
| Series: | CTE Workshop Proceedings |
| Subjects: | |
| Online Access: | https://acnsci.org/journal/index.php/cte/article/view/838 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Program Logic Foundations: Putting the Logic Back into Program Logic
by: Andrew J. Hawkins
Published: (2020-12-01) -
Checkpoint-based rollback recovery in session programming
by: Claudio Antares Mezzina, et al.
Published: (2025-01-01) -
Developing a program logic model for evaluation and research of a rural medical training stream
by: Lara Fuller, et al.
Published: (2025-05-01) -
Synthesizing Recursive Logic Programs by Inverting General Resolution
by: Taosheng Qiu, et al.
Published: (2025-01-01) -
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
by: Long Pham, et al.
Published: (2024-12-01)