Declarative language extensions for prolog courses.
Ulrich NeumerkelMarkus TriskaJan WielemakerPublished in: FDPE@ICFP (2008)
Keyphrases
- declarative language
- deductive databases
- logic programming
- modeling language
- knowledge representation
- expert systems
- default logic
- e learning
- computer science
- database
- programming language
- learning management systems
- distance education
- abstract machine
- logic programming language
- efficient implementation
- higher education
- learning objects
- online course
- inference engine
- prolog programs
- semantically equivalent
- computer science students
- artificial intelligence
- undergraduate and graduate
- real world
- knowledge base
- functional programming