Prolog at the University of Illinois.
Markian M. GooleyLaxmikant V. KaléDavid A. PaduaBalkrishna RamkumarU. S. ReddyDavid C. SehrWei Wennie ShuBenjamin W. WahPublished in: COMPCON (1988)
Keyphrases
- logic programming
- prolog programs
- expert systems
- abstract machine
- programming language
- logic programming language
- knowledge base
- functional programming
- long term
- knowledge representation
- programming paradigms
- neural network
- backward chaining
- logic programs
- semantically equivalent
- theorem proving
- answer set programming
- information technology
- artificial intelligence
- learning algorithm
- genetic algorithm