Applying Prolog programming techniques
Explore this paper's citation graph
Summary
It is claimed that a techniques-based system which integrates these features would be worth more than the sum of its parts, since the same techniques knowledge can be shared by the different subsystems.
- Type
- article
- Published
- 1994-09-01
- Cited by
- 37
- References
- 33
- OpenAlex
- https://openalex.org/W1988161832
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:18155664
Keywords
Prolog, Computer science, Programming language, Variety (cybernetics), Procedural programming
References
- Automatic program analysis in a Prolog intelligent teaching system
- Intention-based diagnosis of errors in novice programs (program understanding, debugging, intelligent computer-aided instruction)
- Dynamic Student Modelling in an Intelligent Tutor for LISP Programming
- Incorporating 'Programming Techniques' into Prolog Programs
- Composing Prolog Meta-Interpreters
- KBEmacs: A Step Toward the Programmer''s Apprentice
- Prolog programming techniques
- What's wrong? Understanding beginners' problems with Prolog
- The Craft of Prolog
- From Problems to Programs via Plans: The Content and Structure of Knowledge for Introductory LISP Programming
- The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming
- A Transformation System for Developing Recursive Programs
- XPLAIN: A System for Creating and Explaining Expert Consulting Programs
- Automatic program debugging for intelligent tutoring systems
- Learning Prolog in a schema-based environment
- ACE: A Cliché-based Program Structure Editor
- Empirical Studies of Programming Knowledge
- The Programmer''s Apprentice: A Program Design Scenario
- Detecting Prolog programming techniques using abstract interpretation
- Formalising the Knowledge of a Prolog Techniques Editor
Cited by
- Characterizing Prolog Programming Techniques
- Usability Issues in the Design of Novice Programming Systems
- Bridging the specification protocol gap in argumentation
- Prolog Program Development via Enhanced Schema-based Transformations
- Enhanced Schema-Based Transformations for Logic Programs and theirOpportunistic Usage in Program Analysis and Optimisation
- An empirical study of the LSS specification toolkit in use
- Slicing knowledge-based systems: techniques and applications
- Pitfalls of formality in early system design
- Skeleton-based agent development for electronic institutions
- Cognitive Questions in Software Visualisation
- Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework
- KICS: a knowledge-intensive case-based reasoning system for statutory building regulations and case histories
- A Structural Synthesis System for LCC Protocols
- A technique-based framework for domain-specific synthesis of simulation models
- Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
- Query by outlines: a new paradigm to help manage programs
- A Visual Syntax for Logic and Logic Programming
- The extent of empirical evidence that could inform evidence-based design of programming languages : a systematic mapping study
- On language processors and software maintenance
- Automatic Agent Protocol Generation from Argumentation