On the public citation graph
Learning Prolog in a schema-based environment
0 signed · 74 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf00053361openalex-snapshot
New horizons in educational computing
inferredcites →https://doi.org/10.1007/bf00116441openalex-snapshot
What's wrong? Understanding beginners' problems with Prolog
inferredcites →https://doi.org/10.2190/wk8c-bycf-vq5c-e307openalex-snapshot
From Problems to Programs via Plans: The Content and Structure of Knowledge for Introductory LISP Programming
inferredcites →https://doi.org/10.3758/bf03197568openalex-snapshot
Problem solving and the development of abstract categories in programming languages
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/ijhc.1997.0119openalex-snapshot
Comparison of contrasting Prolog trace output formats
inferred← citeshttps://doi.org/10.1006/ijhc.1999.0356openalex-snapshot
Evaluating environments for functional programming
inferred← citeshttps://doi.org/10.1006/ijhc.2000.0408openalex-snapshot
Focal structures and information types in Prolog
inferred← citeshttps://doi.org/10.1006/jsco.1999.0348openalex-snapshot
An Abstract Formalization of Correct Schemas for Program Synthesis
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_15openalex-snapshot
Patterns for Prolog Programming
inferred← citeshttps://doi.org/10.1007/3-540-49674-2_13openalex-snapshot
A Higher Order Reconstruction of Stepwise Enhancement
inferred← citeshttps://doi.org/10.1007/3-540-49674-2_4openalex-snapshot
Logic Program Schemas, Constraints, and Semi-unification
inferred← citeshttps://doi.org/10.1007/3-540-49674-2_5openalex-snapshot
Implicit Program Synthesis by a Reversible Metainterpreter
inferred← citeshttps://doi.org/10.1007/3-540-55606-0_42openalex-snapshot
ADAPT: Automated debugging in an adaptive Prolog tutor
inferred← citeshttps://doi.org/10.1007/3-540-60939-3_14openalex-snapshot
An opportunistic approach for logic program analysis and optimisation using enhanced schema-based transformations
inferred← citeshttps://doi.org/10.1007/3-540-62718-9_15openalex-snapshot
Extensible logic program schemata
inferred← citeshttps://doi.org/10.1007/3-540-68716-5_46openalex-snapshot
Tutoring Prolog Novices Based on Programming Techniques
inferred← citeshttps://doi.org/10.1007/978-1-4471-3234-9_9openalex-snapshot
Designing Prolog Programming Techniques
inferred← citeshttps://doi.org/10.1007/978-3-031-35254-6_6openalex-snapshot
Demonstrating Multiple Prolog Programming Techniques Through a Single Operation
inferred← citeshttps://doi.org/10.1007/bf00116440openalex-snapshot
Teaching, learning and using Prolog: Understanding Prolog
inferred← citeshttps://doi.org/10.1007/s40593-014-0014-zopenalex-snapshot
Analysing Student Programs in the PHP Intelligent Tutoring System
inferred← citeshttps://doi.org/10.1016/0360-1315(93)90077-vopenalex-snapshot
Teaching prolog techniques
inferred← citeshttps://doi.org/10.1016/0747-5632(94)90034-5openalex-snapshot
Plan-based delivery composition in intelligent tutoring systems for introductory computer programming
inferred← citeshttps://doi.org/10.1016/0950-5849(95)01043-2openalex-snapshot
A closer look at programming expertise: critical survey of some methodological issues
inferred← citeshttps://doi.org/10.1016/b978-0-12-350772-3.50016-1openalex-snapshot
Programming Languages in Education: The Search for an Easy Start
inferred← citeshttps://doi.org/10.1016/j.ijhcs.2004.02.001openalex-snapshot
Guided programming and automated error analysis in an intelligent Prolog tutor
inferred← citeshttps://doi.org/10.1016/s0921-2647(06)80140-1openalex-snapshot
An Instructional System for Constructing Algorithms in Recursive Programming
inferred← citeshttps://doi.org/10.1017/9781108654555openalex-snapshot
The Cambridge Handbook of Computing Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.001openalex-snapshot
An Important and Timely Field
inferred← citeshttps://doi.org/10.1017/9781108654555.002openalex-snapshot
The History of Computing Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.003openalex-snapshot
Computing Education Research Today
inferred← citeshttps://doi.org/10.1017/9781108654555.004openalex-snapshot
Computing EducationLiterature Review and Voices from the Field
inferred← citeshttps://doi.org/10.1017/9781108654555.008openalex-snapshot
Qualitative Methods for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.009openalex-snapshot
Learning Sciences for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.010openalex-snapshot
Cognitive Sciences for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.012openalex-snapshot
Engineering Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.013openalex-snapshot
Novice Programmers and Introductory Programming
inferred← citeshttps://doi.org/10.1017/9781108654555.014openalex-snapshot
Programming Paradigms and Beyond
inferred← citeshttps://doi.org/10.1017/9781108654555.020openalex-snapshot
Computing for Other Disciplines
inferred← citeshttps://doi.org/10.1017/9781108654555.024openalex-snapshot
Leveraging the Integrated Development Environment for Learning Analytics
inferred← citeshttps://doi.org/10.1017/9781108654555.025openalex-snapshot
Teacher Knowledge for Inclusive Computing Learning
inferred← citeshttps://doi.org/10.1017/9781108654555.026openalex-snapshot
Teacher Learning and Professional Development
inferred← citeshttps://doi.org/10.1017/9781108654555.027openalex-snapshot
Learning Outside the Classroom
inferred← citeshttps://doi.org/10.1017/9781108654555.028openalex-snapshot
Student Knowledge and Misconceptions
inferred← citeshttps://doi.org/10.1017/9781108654555.029openalex-snapshot
Motivation, Attitudes, and Dispositions
inferred← citeshttps://doi.org/10.1017/9781108654555.030openalex-snapshot
Students As Teachers and Communicators
inferred← citeshttps://doi.org/10.1017/9781108654555.031openalex-snapshot
A Case Study of Peer Instruction
inferred← citeshttps://doi.org/10.1017/9781108654555.032openalex-snapshot
A Case Study of Qualitative Methods
inferred← citeshttps://doi.org/10.1017/s026988890000802xopenalex-snapshot
Logic Programming and Software engineering—implications for Software design
inferred← citeshttps://doi.org/10.1023/b:amai.0000031194.57352.e7openalex-snapshot
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
inferred← citeshttps://doi.org/10.1109/13.848075openalex-snapshot
A programming learning system for beginners-a completion strategy approach
inferred← citeshttps://doi.org/10.1109/te.2004.825228openalex-snapshot
A course on web languages and web-based applications
inferred← citeshttps://doi.org/10.1109/vlhcc.2004.50openalex-snapshot
Structural Knowledge and Language Notational Properties in Program Comprehension
inferred← citeshttps://doi.org/10.1145/187387.187397openalex-snapshot
Hierarchies of programming concepts
inferred← citeshttps://doi.org/10.1145/544862.544911openalex-snapshot
Skeleton-based agent development for electronic institutions
inferred← citeshttps://doi.org/10.15077/jjet.kj00006772232openalex-snapshot
学習者Prologプログラムのデータフローを利用した診断と採点(教育システム開発論文, 学習・教育支援のための技術開発)
inferred← citeshttps://doi.org/10.3233/inf-1998-9102openalex-snapshot
Use of Program Schemata in Lisp Programming: an Evaluation of its Impact on Learning
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.