Teaching Logic with(out) Prolog.
Donatella PersicoPublished in: ICLP Workshop: Logic Programming and Education (1994)
Keyphrases
- logic programming
- classical logic
- expert systems
- logic programs
- learning process
- online learning
- e learning
- distance learning
- horn clauses
- high school
- learning environment
- knowledge representation
- automated reasoning
- computer programming
- hybrid learning
- multi valued
- programming language
- university level
- educational technology
- web based learning
- inference engine
- learning analytics
- distance education
- modal logic
- teacher education
- logical framework
- higher education
- learning systems
- deontic logic
- prolog programs
- abstract machine
- declarative programming