Absys: The First Logic Programming Language - A Retrospective and a Commentary.
Edward W. ElcockPublished in: J. Log. Program. (1990)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- situation calculus
- declarative semantics
- current status
- logic programs
- general purpose
- database
- constraint satisfaction
- online discussion
- answer set programming
- semi supervised
- knowledge representation
- lower bound
- video sequences