A Learning Environment to Practise Logic Programming (original) (raw)
Donatella Persico1990, Innovations in Education & Training International
visibility
…
description
9 pages
link
1 file
Sign up for access to the world's latest research.
checkGet notified about relevant papers
checkSave papers to use in your research
checkJoin the discussion with peers
checkTrack your impact
Related papers
2009
Logic and Application: A Reply to S.R. Osmani
Development and Change, 1991
Logic Training through Algorithmic Problem Solving
Lecture Notes in Computer Science, 2011
Smart innovation, systems and technologies, 2018
Programming for the Humanities - Logic and Adaptable Languages
Proceedings of the 8th International Conference on Computer Supported Education, 2016
Modularity in Logic Programming
1993
Introduction to the 26th international conference on logic programming special issue
Theory and Practice of Logic Programming, 2010
Kalmár Workshop on Logic and Computer Science --- Preface
2007
A Visual Syntax for Logic and Logic Programming
Journal of Visual Languages & Computing, 1998
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.
Related papers
Reasoning, Rules, and Representation
2018
1991
School Science Review, 62: 762-765, 1981
Classical and Nonclassical Logics, 2020
Logic, Rationality, and Interaction
Lecture Notes in Computer Science, 2009
Teaching Propositional and Syllogistic Logic Using E-learning Tools
Lecture Notes in Computer Science, 2019
2003
It Must Have Something to do with ?Logic?: A Rejoinder to Aaron Wildavsky
Scandinavian Political Studies, 1991
Affordable classes of normal logic programs
Logic Programming And Nonmonotonic Reasoning, 1997
Building Models of Linear Logic
Lecture Notes in Computer Science, 1998
Comments on “logic programming with equations”
Journal of Logic Programming, 1991
Information Science, Transdisciplinarity and Logic
Proceedings of ISIS Summit Vienna 2015—The Information Society at the Crossroads, 2015
Creativity, Cognitive Mechanisms, and Logic
Lecture Notes in Computer Science, 2012
Mathematical Logic, 1990
Synthese, 2006
1980
Against the Judgment-Dependence of Mathematics and Logic
Erkenntnis, 2012
Rules for syntax, vectors for semantics
Decision Making and Problem Solving
Interfaces, 1987
Some Thoughts about the Hardest Logic Puzzle Ever
Journal of Philosophical Logic, 2001
Selective backtracking for logic programs
Lecture Notes in Computer Science, 1980
Bridges from Language to Logic: Concepts, Contexts and Ontologies
Electronic Notes in Theoretical Computer Science, 2011
Phenomenology and the Cognitive Sciences, 2010
Related topics
Computer ScienceEducationLogic ProgrammingFormative AssessmentPrologLearning EnvironmentHigh School StudentInforming ScienceProgramming language